UI for plugins #54
Description
The basic backend for plugins is largely completed with PR #372 and #322. Besides implementing the specific plugin types (configuration, language, assistants), we need a UI for interaction.
The basic page has already been created with PR #372. What we now need is:
- Display of all installed plugins
- Grouping of activated and deactivated plugins
- Visual distinction for system plugins which the user cannot delete (e.g., built-in languages)
- Visual distinction for system plugins which the user cannot deactivate (e.g., US English language)
- Ability to delete a plugin
- Ability to activate or deactivate plugins
- Display of metadata such as version, authors, repository link, support contact, etc. If this is too much, show it in a separate dialog.
Later on we will also need (we have to create new issues):
- Checking for updates and visualizing new versions
- Integrating an app store for additional plugins