Ubuntu
jedit package

  1. Bug #347308
  2. Comment #4

Comment 4 for bug 347308

Revision history for this message
Daniel Hahler (blueyed) wrote : Re: Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection / middle mouse)

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?