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

Reply via email to