EmEditor ホーム - EmEditor ヘルプ - コマンド リファレンス - [ツール] カテゴリ
[言語サーバーのプロパティ] コマンド
概要
現在の設定の言語サーバーのプロパティを変更します。
説明
このコマンドを実行すると、現在選択されている設定のプロパティの [言語サーバー] ページを表示します。
実行方法
•既定のメニュー: なし
•すべてのコマンド: [ツール] - [現在の設定のプロパティ] - [言語サーバー]
•ツール バー: なし
•ステータス バー: なし
•既定のショートカット: なし
プラグイン コマンド ID
•EEID_PROPERTY_LANGUAGE_SERVER (8982)
マクロ
[JavaScript]
editor.ExecuteCommandByID(8982);
[VBScript]
editor.ExecuteCommandByID 8982
Copyright © 2003-2023 by Emurasoft, Inc.
