more explicit read-only non-TTY mode;
authorwenzelm
Thu, 01 Aug 2013 22:19:32 +0200
changeset 52834 a3f8c9f16d26
parent 52833 21843a4c6ba9
child 52835 0906c00bb21d
more explicit read-only non-TTY mode;
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"))