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