Same problem for me:

Ubuntu 12.04 LTS
java version "1.6.0_24", OpenJDK Runtime Environment (IcedTea6 1.11.1) 
(6b24-1.11.1-4ubuntu2)
jEdit 4.5.1

Pasting into gedit works.
Pasting into Terminal does not work.

-- 
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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/jedit/+bug/347308/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to