# HG changeset patch
# User wenzelm
# Date 1375388372 -7200
# Node ID a3f8c9f16d264687a1fac294cc2579fda1233c56
# Parent  21843a4c6ba99c4527d92ea67e422fabfce76bb9
more explicit read-only non-TTY mode;

diff -r 21843a4c6ba9 -r a3f8c9f16d26 src/Tools/jEdit/src/isabelle_logic.scala
--- a/src/Tools/jEdit/src/isabelle_logic.scala	Thu Aug 01 22:05:49 2013 +0200
+++ b/src/Tools/jEdit/src/isabelle_logic.scala	Thu Aug 01 22:19:32 2013 +0200
@@ -61,7 +61,7 @@
   def session_args(): List[String] =
   {
     val modes = space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE")).map("-m" + _)
-    modes ::: List(jedit_logic())
+    modes ::: List("-r", "-q", jedit_logic())
   }
 
   def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))