Comment 3 for bug 347308
Revision history for this message
| John Kennedy (john-kennedy-maglabs) wrote Re: Copy and Paste from jEdit to terminal Doesn't Paste | #3 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
73416ba
(Get the code!)
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>