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