Public bug reported:
Binary package hint: jedit
Ubuntu version: 8.10
JEdit package version: 4.3-pre13 (synaptic version) [universe repo]
Installed JEdit from synaptic, using plugin manager to choose and install
plugins don't work as user.
when you try to use a plugin you get an ugly trace like:
java.lang.NoClassDefFoundError: gnu/regexp/REException
at buffertabs.BufferTabs.propertiesChanged(Unknown Source)
at buffertabs.BufferTabs.start(Unknown Source)
at buffertabs.BufferTabsPlugin.addBufferTabsToEditPane(Unknown Source)
at buffertabs.BufferTabsPlugin.toggleBufferTabsForEditPane(Unknown
Source)
trying to install and use plugins from sudo it does work, so I guess
it's a permission problem.
** Affects: jedit (Ubuntu)
Importance: Undecided
Status: New
--
jedit plugins don't work as user
https://bugs.launchpad.net/bugs/323366
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
