Parametersブラウザのサイズ変更

Parametersブラウザの上部および下部のサイズを変更するには：

1. ブラウザツリーとパラメータ一覧を隔てる水平のライン（二重矢印に注目）をマウスボタンでクリック、ドラッグし、上部および下部のセクションが希望するサイズになったら放します。

Parametersブラウザの幅を変更するには：

2. Parametersブラウザとグラフィック表示領域を隔てる垂直のラインをマウスボタンでクリック、ドラッグし、幅が希望するサイズになったら放します。