Extended Plugin Manager
Submitted by on Sunday, 23 July, 2006 - 16:48
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
(Anyway, I don't know if it's the first thing I would do if I were developping for jEdit)
Thank you
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
(Anyway, I don't know if it's the first thing I would do if I were developping for jEdit)
Thank you
