[言語サーバーのプロパティ] コマンド

概要

現在の設定の言語サーバーのプロパティを変更します。

説明

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

実行方法

  • 既定のメニュー: なし

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

  • ツール バー: なし

  • ステータス バー: なし

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

プラグイン コマンド ID

EEID_PROPERTY_LANGUAGE_SERVER (8982)

マクロ

[JavaScript]

editor.ExecuteCommandByID(8982);

[VBScript]

editor.ExecuteCommandByID 8982