fix: default height of task panel is too wide (fixes: #42)#45

Merged

youjung-hong merged 1 commit intomasterfrom hotfix/5226

Mar 26, 2018

+6-6

Commits on Mar 26, 2018

fix: default height of task panel is too wide (fixes: #42 )
youjung-hong
committed