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

2015-09-12 14:17 GMT+02:00 David Kastrup : > Michael Gerdau writes: > >>> Meanwhile I reinstalled jEdit and changed java: >>> >>> $ java -version >>> java version "1.6.0_36" >>> OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04) >>> OpenJDK 64-Bit Server VM (build 23.25-b01

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

Michael Gerdau writes: >> Meanwhile I reinstalled jEdit and changed java: >> >> $ java -version >> java version "1.6.0_36" >> OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04) >> OpenJDK 64-Bit Server VM (build 23.25-b01, mixed mode) >> >> No success, at least neither C

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

Thomas Morley writes: > 2015-09-12 12:37 GMT+02:00 BB : >> Beside the \version line the file has no content. > > A real minimal example ;) I don't see anything in there requiring 2.19.26. The file looks as if it would compile fine with 2.18.0. -- David Kastrup ___

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

Which mail program do you use? May be the editor of the provider in a browser? Might make some difference. On 12.09.2015 13:36, Thomas Morley wrote: 2015-09-12 13:02 GMT+02:00 Michael Gerdau : Meanwhile I reinstalled jEdit and changed java: $ java -version java version "1.6.0_36" OpenJDK Runt

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

2015-09-12 13:02 GMT+02:00 Michael Gerdau : >> Meanwhile I reinstalled jEdit and changed java: >> >> $ java -version >> java version "1.6.0_36" >> OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04) >> OpenJDK 64-Bit Server VM (build 23.25-b01, mixed mode) >> >> No success, a

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

> Meanwhile I reinstalled jEdit and changed java: > > $ java -version > java version "1.6.0_36" > OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04) > OpenJDK 64-Bit Server VM (build 23.25-b01, mixed mode) > > No success, at least neither Ctrl+c Ctrl+v nor via mouse-menu >

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

2015-09-12 12:35 GMT+02:00 David Kastrup : > Thomas Morley writes: > >> 2015-09-12 8:58 GMT+02:00 Blöchl Bernhard : >>> jEdit is available for >>> Windows >>> Unix/Linux >>> Mac OS X >>> VMS >>> So, Windows is not a hindrance to use jEdit. jEdit needs Java, also >>> available for all platforms. >>

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

2015-09-12 12:37 GMT+02:00 BB : > Beside the \version line the file has no content. A real minimal example ;) > I can copy/paste it withot > any problem. > > \version "2.19.26" > > > > On 12.09.2015 12:15, Thomas Morley wrote: > > I attach a file, where I'm not able to c/p > Can't see anyhing fis

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

Thomas Morley writes: > 2015-09-12 8:58 GMT+02:00 Blöchl Bernhard : >> jEdit is available for >> Windows >> Unix/Linux >> Mac OS X >> VMS >> So, Windows is not a hindrance to use jEdit. jEdit needs Java, also >> available for all platforms. >> >> Actual version is jEdit 5.2. I actually do not use

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

Beside the \version line the file has no content. I can copy/paste it withot any problem. \version "2.19.26" On 12.09.2015 12:15, Thomas Morley wrote: I attach a file, where I'm not able to c/p Can't see anyhing fishy there. ___ lilypond-user mai

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

2015-09-12 8:58 GMT+02:00 Blöchl Bernhard : > jEdit is available for > Windows > Unix/Linux > Mac OS X > VMS > So, Windows is not a hindrance to use jEdit. jEdit needs Java, also > available for all platforms. > > Actual version is jEdit 5.2. I actually do not use jEdit, I stopped it about > 20 yea

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

> >> Can somebody confirm? > >> Or ever heard of? Neither. I just installed jEdit 5.2.0 on 64bit ArchLinux and there seems to be no such problem whatsoever. $ java -version openjdk version "1.8.0_60" OpenJDK Runtime Environment (build 1.8.0_60-b24) OpenJDK 64-Bit Server VM (build 25.60-b23, mixe

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

2015-09-12 4:30 GMT+02:00 Nick Payne : > On 12/09/2015 07:59, Thomas Morley wrote: >> >> 2015-09-11 23:36 GMT+02:00 Thomas Morley : >>> >>> 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

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

jEdit is available for Windows Unix/Linux Mac OS X VMS So, Windows is not a hindrance to use jEdit. jEdit needs Java, also available for all platforms. Actual version is jEdit 5.2. I actually do not use jEdit, I stopped it about 20 years ago as the future development was doubtful. I use Linu

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

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

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

2015-09-11 23:59 GMT+02:00 Thomas Morley : > 2015-09-11 23:36 GMT+02:00 Thomas Morley : >> 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 Au

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

2015-09-11 23:36 GMT+02:00 Thomas Morley : > 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 he