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
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