One step to satisfy the actually growing desires to simplify the exploration and installation
of jEdit's capabilities could be this:
1. An additional "Package" tab in Plugin Manager provides a list of available plugin
sets of two types:
a, Maintained, from Plugin Central or elsewhere
b, User created, from a given local directory
2. When one of these plugin sets is activated, Plugin Manager should automatically:
a. Load / unload plugins that are already installed
b. Download and install the remaining plugins
Submitted | rschwenn - 2010-02-17 21:51:17 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | Plugin manager |
Status | open | Group | None |
Resolution | None |