# HG changeset patch
# User wenzelm
# Date 1626467150 -7200
# Node ID fd4b4385ad3c9e8c37a8d0986dcaec3cb8301d2c
# Parent  dfcef9ad5f458c1f61642bb48c66e3adce3c30aa
more robust: for the sake of Isabelle.app on macOS;

diff -r dfcef9ad5f45 -r fd4b4385ad3c src/Tools/jEdit/jedit_main/scala_console.scala
--- a/src/Tools/jEdit/jedit_main/scala_console.scala	Fri Jul 16 22:19:47 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/scala_console.scala	Fri Jul 16 22:25:50 2021 +0200
@@ -34,7 +34,7 @@
       val s = buf.synchronized { val s = buf.toString; buf.clear(); s }
       val str = UTF8.decode_permissive(s)
       GUI_Thread.later {
-        if (global_out == null) System.out.print(str)
+        if (global_out == null) java.lang.System.out.print(str)
         else global_out.writeAttrs(null, str)
       }
       Time.seconds(0.01).sleep()  // FIXME adhoc delay to avoid loosing output