User Tools

Site Tools


01_user_documentation:03_interacting_with_groimp:02_panels:14_plugin_manager

This is an old revision of the document!


Plugin manager

The Plugin Manager panel provides a graphical interface for managing plugins. It allows users to view currently installed plugins, check for available updates, install new plugins, and deactivate or remove existing ones. The panel displays installed and available plugins in a unified layout: plugin categories are listed on the left, and selecting a plugin shows its description on the right. Changes made during a session (such as installations, updates, or removals) are listed in a review area at the bottom of the panel.

Installed plugins offer three selection states:

  • A checked box keeps the plugin installed.
  • An empty box marks it for removal.
  • A partially checked box deactivates the plugin without uninstalling it.

By default, plugins are loaded from an official repository provided by the GroIMP development team (an online version can be found here. However, users can add or select other plugin sources through the “Repositories” tab of the panel, making it easy to integrate custom or third-party repositories.

01_user_documentation/03_interacting_with_groimp/02_panels/14_plugin_manager.1752840690.txt.gz · Last modified: 2025/07/18 14:11 by gaetan