--- a/src/Tools/jEdit/src/isabelle_logic.scala Sun Feb 14 12:40:51 2016 +0100
+++ b/src/Tools/jEdit/src/isabelle_logic.scala Sun Feb 14 12:50:46 2016 +0100
@@ -69,15 +69,16 @@
dirs = session_dirs(), sessions = List(session_name()))
}
- def session_start()
+ def session_args(): String =
{
val print_modes =
(space_explode(',', PIDE.options.string("jedit_print_mode")) :::
space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).map("-m " + _)
- val args = (print_modes ::: List("-r", "-q", quote(session_name()))).mkString(" ")
- PIDE.session.start("Isabelle", args)
+ (print_modes ::: List("-r", "-q", quote(session_name()))).mkString(" ")
}
+ def session_start(): Unit = PIDE.session.start("Isabelle", session_args())
+
def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
def session_list(): List[String] =