RodrigoMoraes, This page <https://help.ubuntu.com/community/Java> has some good info on changing the default Java to use (without uninstalling OpenJDK). Although, you would still have to set JAVA_HOME to make jedit use the Sun JVM until #681936 <https://bugs.launchpad.net/ubuntu/+source/jedit/+bug/681936> is fixed.
-- 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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
