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

[Thomas Morley]

2015-09-12 4:30 GMT+02:00 Nick Payne <address@hidden>:
> 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


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