#335 Plugin Manager: improved support for plugin sets

open
nobody
5
2010-02-17
2010-02-17
Robert Schwenn
No

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

Discussion