MPS 2020.3 ヘルプ

IDE の設定

Many aspects of MPS can be configured through the 設定 / 環境設定 dialog Ctrl+Alt+S .

Settings Dialog

特定の構成アイテムにすばやく移動するには、左上の便利なテキスト検索ボックスを使用できます。フォーカスはデフォルトでテキストフィールドに設定されているため、入力を開始できます。検索が個々の画面に深く入り込んでいることに注意してください。undefined

Search in Preferences dialog

プラグイン

MPS is modular and bundles several plugins. If you open the MPS Plugin Manager you will see a list of plugins available in your installation.

The Plugins settings dialog

サポートされている言語で追加インストールされたプラグイン are also listed here.

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

Disabled plugins settings