Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
suppress ANSI control sequences in Scala console;
authorwenzelm
Fri, 19 May 2017 18:10:19 +0200
changeset 65875 12c90c0c4b32
parent 65874 bd45c8ebc214
child 65876 326c9f828c3d
suppress ANSI control sequences in Scala console;
src/Pure/Tools/main.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/main.scala	Fri May 19 16:43:11 2017 +0200
+++ b/src/Pure/Tools/main.scala	Fri May 19 18:10:19 2017 +0200
@@ -73,6 +73,7 @@
 
         System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist")))
         System.setProperty("scala.home", File.platform_path(Path.explode("$SCALA_HOME")))
+        System.setProperty("scala.color", "false")
 
         val jedit =
           Class.forName("org.gjt.sp.jedit.jEdit", true, ClassLoader.getSystemClassLoader)
isabelle