[マーカーのカスタマイズ - オプション] コマンド¶
概要¶
[マーカーのカスタマイズ] ダイアログ ボックスを表示して、[オプション] ページを選択します。
説明¶
[マーカーのカスタマイズ] ダイアログ ボックスを表示して、[オプション] ページを選択します。
実行方法¶
既定のメニュー: なし
すべてのコマンド: [ツール] - [マーカーのカスタマイズ] - [オプション]
ツール バー: なし
ステータス バー: なし
既定のショートカット: なし
プラグイン コマンド ID¶
ID_CUSTOMIZE_MARKERS_OPTIONS (3958)
マクロ¶
[JavaScript]¶
editor.ExecuteCommandByID(3958);
[VBScript]¶
editor.ExecuteCommandByID 3958