[キーボードのプロパティ] コマンド

概要

現在の設定のキーボードのプロパティを変更します。

説明

このコマンドを実行すると、現在選択されている設定のプロパティの [キーボード] ページ を表示します。

実行方法

  • 既定のメニュー: なし

  • すべてのコマンド: [ツール] - [現在の設定のプロパティ] - [キーボード]

  • ツール バー: なし

  • ステータス バー: なし

  • 既定のショートカット: なし

プラグイン コマンド ID

EEID_PROPERTY_KEYBOARD (8974)

マクロ

[JavaScript]

editor.ExecuteCommandByID(8974);

[VBScript]

editor.ExecuteCommandByID 8974