カギの解除
ワークスペースの上部にある「カギ」のマークは
マウスでの誤操作を防ぐためにあります
各パネルサイズを変更するには「カギ」を解除します
「カギ」はクリックすると すぐに解除できます
解除したワークスペース内は 全てのフレームが摘まめるようになるので
ドラッグしてパネルサイズを表示内容に合わせて調整してください
「カギ」は ショートカットメニュー(マウスを右クリック)の一番上にもあります
メニューの Window → Lock All Windows も同じです
サイズ調整するときには「Workspace Tree」がサイドで開いてると閉じたときに横幅が変わってしまうので
先に閉じてから調整しましょう
そして サイズ調整が終わったら忘れずに「カギ」を掛けておきましょうね