PreviousNextTracker indexSee it online !

(138/207) 2953791 - Plugin Manager: improved support for plugin sets

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:17z Assigned nobody
Priority 5 Category Plugin manager
Status Open Group None
Resolution None Visibility No