MPS 2019.1 Help

Plugins

File | Settings | Plugins for Windows and Linux
MPS | Preferences | Plugins for macOS
Ctrl+Alt+S the Settings/Preferences icon


Use the Plugins dialog 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: 5 July 2019