author | wenzelm |
Thu, 01 Aug 2013 22:19:32 +0200 | |
changeset 52834 | a3f8c9f16d26 |
parent 52833 | 21843a4c6ba9 |
child 52835 | 0906c00bb21d |
--- 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"))