I can confirm this: copying from jEdit via Ctrl-C somehow empties the clipboard 
buffer that's queried by gnome-terminal (you'll see that "Paste" is grayed out 
in the "Edit" menu).
I am using KDE and Klipper to manage the clipboard selections.
Is anyone else affected by this using Klipper by any chance?

** Summary changed:

- Copy and Paste from jEdit to terminal Doesn't Paste
+ Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection / middle 
mouse)

** Changed in: jedit (Ubuntu)
       Status: Incomplete => Triaged

-- 
Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection / middle 
mouse)
https://bugs.launchpad.net/bugs/347308
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

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

Reply via email to