カギの解除

ワークスペースの上部にある「カギ」のマークは マウスでの誤操作を防ぐためにあります
各パネルサイズを変更するには「カギ」を解除します

サンプル

「カギ」はクリックすると すぐに解除できます
解除したワークスペース内は 全てのフレームが摘まめるようになるので ドラッグしてパネルサイズを表示内容に合わせて調整してください

サンプル

「カギ」は ショートカットメニュー(マウスを右クリック)の一番上にもあります

サンプル

メニューの Window → Lock All Windows も同じです

サンプル

サイズ調整するときには「Workspace Tree」がサイドで開いてると閉じたときに横幅が変わってしまうので
先に閉じてから調整しましょう
そして サイズ調整が終わったら忘れずに「カギ」を掛けておきましょうね