MPS 2023.3 Help

IDE configuration

Many aspects of MPS can be configured through the Settings dialog Ctrl+Alt+S.

Settings Dialog

To quickly navigate to particular configuration items you may use the convenient text search field in the upper-left corner. Since the focus is set to the text field by default, you can just start typing. Notice that the search dives deep into the individual screens:

Search in Preferences dialog

Plugins

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

Additionally installed plugins with supported languages are also listed here.

If some plugins are not necessary for your current work they can be switched off, which may have an increase in the overall performance of the platform.

Disabled plugins settings
Last modified: 07 March 2024