MPS 2020.1 Help

Plugins

File | Settings | Plugins for Windows and Linux

MPS | Preferences | Plugins for macOS Ctrl+Alt+S the Settings/Preferences icon

Use this page to manage plugins: browse the plugin repository, install, remove, enable, disable, and update plugins.

Main controls

Control

Description

Marketplace

Use this tab to browse and install plugins from the JetBrains Plugin Repository.

If you want to browse your custom plugin repository, type repository: followed by the URL of the repository. For example:

repository:"http://plugins.example.com:8080/" myPlugin
Installed

Use this tab to browse your installed plugins, enable, disable, and remove them if necessary.

Updates

Use this tab to browse the plugins that require an update.

The Plugin Settings icon

Configure additional plugin settings:

Last modified: 18 June 2020