Extended Plugin manager
Submitted by on Tuesday, 14 December, 2010 - 17:11
Hi,
That would be cool for the plugin manager to :
1. select only plugin available for the current version of jEdit
2. disable all plugin that can't work for the current version of jEdit
I remember the customisable fold handler that didn't work from 4.2 to 4.3...
Also, if we could have an update manager ala Firefox Bon Echo (2.0), that would be the best Eye-wink
(Anyway, I don't know if it's the first thing I would do if I were developping for jEdit)
Wholesale fashion
That would be cool for the plugin manager to :
1. select only plugin available for the current version of jEdit
2. disable all plugin that can't work for the current version of jEdit
I remember the customisable fold handler that didn't work from 4.2 to 4.3...
Also, if we could have an update manager ala Firefox Bon Echo (2.0), that would be the best Eye-wink
(Anyway, I don't know if it's the first thing I would do if I were developping for jEdit)
Wholesale fashion
