2015-09-12 4:30 GMT+02:00 Nick Payne <[email protected]>: > On 12/09/2015 07:59, Thomas Morley wrote: >> >> 2015-09-11 23:36 GMT+02:00 Thomas Morley <[email protected]>: >>> >>> Hi all, >>> >>> right now I'm not able to copy/paste code from jEdit into a mail. >>> >>> I'm using gmail on Ubuntu 14.04 >> >> 64-bit (the host) >> $ uname -a >> Linux kasten 3.13.0-63-generic #103-Ubuntu SMP Fri Aug 14 21:42:59 UTC >> 2015 x86_64 x86_64 x86_64 GNU/Linux >> >> hermann@kasten:~$ jedit -version >> jEdit 5.1.0 >> >> >> Does not work for LilyDev3 either >> harm@debian ~$ uname -a >> Linux debian 3.2.0-4-686-pae #1 SMP Debian 3.2.68-1+deb7u3 i686 GNU/Linux >> >> $ jedit -version >> jEdit 4.5.2 >> >> >> c/p from gedit works > > > Sorry, can't test, as I am travelling with only a Windows laptop at the > moment. But which JVM are you using? Oracle Java, or OpenJDK? > > Nick
$ java -version java version "1.6.0_26" Java(TM) SE Runtime Environment (build 1.6.0_26-b03) Java HotSpot(TM) 64-Bit Server VM (build 20.1-b02, mixed mode) _______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
