tuned signature;
authorwenzelm
Sun Feb 14 12:50:46 2016 +0100 (2016-02-14)
changeset 62305fe01c4c7931a
parent 62304 e7a52a838a23
child 62306 5c0a5c30cda8
tuned signature;
src/Tools/jEdit/src/isabelle_logic.scala
     1.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Sun Feb 14 12:40:51 2016 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Sun Feb 14 12:50:46 2016 +0100
     1.3 @@ -69,15 +69,16 @@
     1.4        dirs = session_dirs(), sessions = List(session_name()))
     1.5    }
     1.6  
     1.7 -  def session_start()
     1.8 +  def session_args(): String =
     1.9    {
    1.10      val print_modes =
    1.11        (space_explode(',', PIDE.options.string("jedit_print_mode")) :::
    1.12         space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).map("-m " + _)
    1.13 -    val args = (print_modes ::: List("-r", "-q", quote(session_name()))).mkString(" ")
    1.14 -    PIDE.session.start("Isabelle", args)
    1.15 +    (print_modes ::: List("-r", "-q", quote(session_name()))).mkString(" ")
    1.16    }
    1.17  
    1.18 +  def session_start(): Unit = PIDE.session.start("Isabelle", session_args())
    1.19 +
    1.20    def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
    1.21  
    1.22    def session_list(): List[String] =