MPS 2020.3 ヘルプ


MPS can be easily extended with additional languages. Languages come packaged as ordinary zip files, which you unzip into the MPS plugin directory and which MPS will load upon restart.

The most convenient way to install language plugins is through the Plugin Manager, which is available in the 設定 / 環境設定 dialog Ctrl+Alt+S .

The Plugins settings dialog

以前に受け取った zip ファイル(ディスクからプラグインをインストールオプション)をインストールするか、またはリポジトリの参照ボタンをクリックして MPS プラグインリポジトリにアップロードされたプラグインのリストから希望のプラグインを選ぶことができます。

The plugin repository

MPS および IntelliJ IDEA 用の少数の言語プラグイン(JetBrains およびサードパーティの両方)が JetBrains プラグインリポジトリで公開されています。