src/Tools/jEdit/src/isabelle_logic.scala

--- 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] =