[ワークスペース設定]ダイアログ ボックス

表示、メニューの順序、およびワークスペースの保存設定をコントロールします。

WSSETTINGS[ワークスペース設定] (コマンド)

オプション

次のオプションが表示されます。

マイ ワークスペース

ワークスペースのリストが表示され、ツールバーの[マイ ワークスペース]ボタンに割り当てるワークスペースを選択することができます。

[メニューの表示と順序]

[ワークスペース]ツールバーおよびメニューに表示するワークスペース名、それらのワークスペース名の順序、および各ワークスペース名の間に区切り線を挿入するかどうかをコントロールします。ここに表示されるワークスペース、および[ワークスペース]ツールバーおよびメニューに表示されるワークスペースには、現在のワークスペース(ツールバーおよびメニューにチェック マークが表示されます)と、[マイ ワークスペース]オプションで定義したワークスペースが、その表示設定に関わらず、含まれます。

[上へ移動]

ワークスペース名を、表示順序内で上へ移動します。

[下へ移動]

ワークスペース名を、表示順序内で下へ移動します。

[区切りを追加]

ワークスペース名の間に区切りを追加します。

[ワークスペースに変更を保存しない]

他のワークスペースに切り替えたときに、ワークスペースに対して行った変更を保存しません。

(システム変数 WSAUTOSAVE)

[ワークスペースの変更を自動的に保存]

他のワークスペースに切り替えたときに、ワークスペースに対して行った変更を保存します。

(システム変数 WSAUTOSAVE)