MPS 2023.3 ヘルプ

IDE の設定

設定ダイアログ Ctrl+Alt+S を介して、MPS の多くの側面を構成できます。

Settings Dialog

特定の設定項目に素早く移動するには、左上隅にある便利なテキスト検索フィールドを使用できます。デフォルトではテキストフィールドにフォーカスが設定されているため、入力を開始するだけです。検索は個々の画面の奥深くまで行われることに注意してください。

Search in Preferences dialog

プラグイン

MPS はモジュール式で、いくつかのプラグインがバンドルされています。MPS プラグインマネージャーを開くと、インストールで使用可能なプラグインのリストが表示されます。

The Plugins settings dialog

サポートされている言語で追加インストールされたプラグインもここにリストされています。

現在の作業に一部のプラグインが不要な場合は、プラグインをオフにできます。これにより、プラットフォームの全体的なパフォーマンスが向上する可能性があります。

Disabled plugins settings