Reduce vertical height of workspace manager
Reduce vertical height of workspace manager

listepo/codebox,indykish/codebox,kustomzone/codebox,rajthilakmca/codebox,quietdog/codebox,etopian/codebox,fly19890211/codebox,Ckai1991/codebox,kustomzone/codebox,smallbal/codebox,indykish/codebox,quietdog/codebox,nobutakaoshiro/codebox,code-box/codebox,smallbal/codebox,ronoaldo/codebox,ahmadassaf/Codebox,etopian/codebox,rajthilakmca/codebox,blubrackets/codebox,CodeboxIDE/codebox,rodrigues-daniel/codebox,CodeboxIDE/codebox,lcamilo15/codebox,lcamilo15/codebox,ronoaldo/codebox,code-box/codebox,rodrigues-daniel/codebox,LogeshEswar/codebox,blubrackets/codebox,nobutakaoshiro/codebox,fly19890211/codebox,listepo/codebox,Ckai1991/codebox,LogeshEswar/codebox,ahmadassaf/Codebox