src/Tools/jEdit/src/isabelle_logic.scala
changeset 62556 c115e69f457f
parent 62545 8ebffdaf2ce2
child 62631 c39614ddb80b
     1.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Tue Mar 08 11:18:21 2016 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Tue Mar 08 14:44:11 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_args(): List[String] =
     1.8 +  def session_start()
     1.9    {
    1.10 -    (space_explode(',', PIDE.options.string("jedit_print_mode")) :::
    1.11 -     space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).
    1.12 -      map(m => List("-m", m)).flatten ::: List("-q", session_name())
    1.13 +    val modes =
    1.14 +      (space_explode(',', PIDE.options.string("jedit_print_mode")) :::
    1.15 +       space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).reverse
    1.16 +    PIDE.session.start(receiver =>
    1.17 +      Isabelle_Process(
    1.18 +        PIDE.options.value, heap = session_name(), modes = modes, receiver = receiver))
    1.19    }
    1.20  
    1.21 -  def session_start(): Unit = PIDE.session.start("Isabelle", session_args())
    1.22 -
    1.23    def session_dirs(): List[Path] = Path.split(Isabelle_System.getenv("JEDIT_SESSION_DIRS"))
    1.24  
    1.25    def session_list(): List[String] =