> >> 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, mixed mode) I trust you tried a reboot !? Michael -- Michael Gerdau email: [email protected] GPG-keys available on request or at public keyserver
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
