I've also got this problem running JEdit 4.3.2 on Ubuntu 9.10 with Java 1.6.0_18. The problem is specifically in pasting to the shell (gnome- terminal) I've not noticed it anywhere else.
I can successfully paste from the terminal to JEdit. The middle mouse button will successfully paste from JEdit to a terminal, but attempting to paste using <ctrl>C and <shift><ctrl>V doesn't work. I can successfully cut and paste from Eclipse using the control keys. The following plugins are installed: true Buffer Selector 1.0.6 Loaded <unknown> true BufferList 1.1 Loaded <unknown> true Editor Scheme 1.2 Loaded <unknown> true ErrorList 1.9 Loaded <unknown> true GnuRegexp 1.0.1 Loaded <unknown> true Hex Edit 0.1.3 Loaded <unknown> true Highlight 1.8.1 Loaded 0 Bytes true Latest Version Check 1.5 Loaded <unknown> true LookAndFeel 1.4.0 Loaded <unknown> true PHPParserPlugin 1.2.7 Loaded 0 Bytes true QuickNotepad 4.3 Loaded <unknown> true SideKick 0.9 Loaded <unknown> true WhiteSpace 0.9.3 Loaded <unknown> -- Copy and Paste from jEdit to terminal Doesn't Paste 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
