I can also confirm that using Sun Java fixed it for me. I thought I was using
Sun Java as Help > About in jEdit says Sun Microsystems Java, but it says this
both for Sun and openjdk. To check which version is *actually* being used then
install the Console plugin in jEdit using the plugin manager, if not already
installed. Then, in the combo-box on the top left of the Console dockable
window, select "BeanShell", and type the following command:
System.getProperty("java.vm.name")
For Sun java this gives Java HotSpot(TM) Client VM
For OpenJDK it gives OpenJDK Client VM
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/347308
Title:
Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection /
middle mouse works)
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
