more explicit read-only non-TTY mode;

--- 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"))