Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection / middle mouse works)
Bug #347308 reported by
user2037
This bug affects 6 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
jEdit |
Unknown
|
Unknown
|
|||
jedit (Ubuntu) |
Triaged
|
Low
|
Unassigned |
Bug Description
Binary package hint: jedit
Attempts to paste into Terminal from J-edit 4.3pre16 do not succeed. Instead the Paste option of Terminal is disabled. Pasting into G-edit works. Copying and pasting from G-edit into Terminal works as expected. Disabling plug-in's does not help.
Sun Java 1.5.0 build 16 was used to run J-edit.
summary: |
- Copy and Paste from J-edit to Terminal Doesn't Paste + Copy and Paste from jEdit to terminal Doesn't Paste |
summary: |
Copy and Paste from jEdit to terminal Doesn't Paste (X11 selection / - middle mouse) + middle mouse works) |
To post a comment you must log in.
Using jEdit 4.3pre16, Java 1.6.0_10 on Ubuntu 8.10 I do not have any problem pasting into Gnome Terminal 2.24.1.1
Colin