[すべての設定のプロパティ] コマンド¶
概要¶
すべての設定のプロパティを変更します。
説明¶
このコマンドを実行すると、すべての設定で 設定のプロパティ を表示します。
実行方法¶
既定のメニュー: [ツール] - [すべての設定のプロパティ]
すべてのコマンド: [ツール] - [すべての設定のプロパティ]
ツール バー:
ステータス バー: なし
既定のショートカット: なし
プラグイン コマンド ID¶
EEID_ALL_PROP (4270)
マクロ¶
[JavaScript]¶
editor.ExecuteCommandByID(4270);
[VBScript]¶
editor.ExecuteCommandByID 4270