lilypond-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [OT] gmail: not able to paste code


From: Nick Payne
Subject: Re: [OT] gmail: not able to paste code
Date: Sat, 12 Sep 2015 12:30:12 +1000
User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0

On 12/09/2015 07:59, Thomas Morley wrote:
2015-09-11 23:36 GMT+02:00 Thomas Morley <address@hidden>:
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

address@hidden:~$ jedit -version
jEdit 5.1.0


Does not work for LilyDev3 either
address@hidden ~$ 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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]