#582036 jEdit should auto-load system plugins from /usr/share/jedit/jars

Package:
jedit
Source:
jedit
Submitter:
Damien Raude-Morvan
Date:
2010-05-17 20:15:04 UTC
Severity:
wishlist
#582036#5
Date:
2010-05-17 20:11:45 UTC
From:
To:
Hi,
/usr/share/jedit/jars/.

It would be great if debian jedit package auto-load plugins from here and if
you provide a jedit-plugins package with some commons ones like
Console [1], ErrorLists [2] or SVNPlugin.

[1] http://plugins.jedit.org/plugins/?Console
[2] http://plugins.jedit.org/plugins/?ErrorList
[3] http://plugins.jedit.org/plugins/?SVNPlugin

Cheers,