Package: jedit Version: 4.3.1+dfsg-1 Severity: wishlist Hi,
>From my understanding, jEdit system global plugins are expected to be in /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, -- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable'), (200, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.32-5-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages jedit depends on: ii java-wrappers 0.1.16 wrappers for java executables ii openjdk-6-jre 6b18-1.8-2 OpenJDK Java runtime, using Hotspo ii sun-java6-jre 6.20-dlj-1 Sun Java(TM) Runtime Environment ( jedit recommends no packages. jedit suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
