[現在の設定のプロパティ] コマンド¶
概要¶
現在の設定のプロパティを変更します。
説明¶
このコマンドを実行すると、現在選択されている 設定のプロパティ を表示します。プロパティでは、様々な設定を変更することができます。
実行方法¶
既定のメニュー: [ツール] - [現在の設定のプロパティ]
すべてのコマンド: [ツール] - [現在の設定のプロパティ] - [プロパティ]
ツール バー:
ステータス バー: なし
既定のショートカット: Alt+Enter
プラグイン コマンド ID¶
EEID_CUSTOMIZE (4219)
マクロ¶
[JavaScript]¶
editor.ExecuteCommandByID(4219);
[VBScript]¶
editor.ExecuteCommandByID 4219