User Tools

Site Tools


05_developer_tutorials:dev-guide:plugins

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
05_developer_tutorials:dev-guide:plugins [2025/02/19 15:51] – ↷ Links adapted because of a move operation gaetan05_developer_tutorials:dev-guide:plugins [2025/12/12 11:51] (current) – [Plugin Manager] groimp
Line 49: Line 49:
  
 The plugins can easily be updated, installed, or removed from the GUI with the   The plugins can easily be updated, installed, or removed from the GUI with the  
-[[01_user_documentation:user-guide:pluginmanager|Plugin Manager]].+[[01_user_documentation:03_interacting_with_groimp:02_panels:14_plugin_manager|Plugin Manager]].
  
 The plugin manager uses the [[05_developer_tutorials:dev-guide:plugins-repository|plugin repositories]] to find plugin data. These repositories can be local or remote but needs to follow the given structure. The plugin manager uses the [[05_developer_tutorials:dev-guide:plugins-repository|plugin repositories]] to find plugin data. These repositories can be local or remote but needs to follow the given structure.
05_developer_tutorials/dev-guide/plugins.txt · Last modified: 2025/12/12 11:51 by groimp