[記号のプロパティ] コマンド

概要

現在の設定の記号のプロパティを変更します。

説明

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

実行方法

  • 既定のメニュー: なし

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

  • ツール バー: なし

  • ステータス バー: なし

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

プラグイン コマンド ID

EEID_PROPERTY_MARK (8971)

マクロ

[JavaScript]

editor.ExecuteCommandByID(8971);

[VBScript]

editor.ExecuteCommandByID 8971