src/Tools/jEdit/src/jedit_sessions.scala
changeset 68204 a554da2811f2
parent 67846 bdf6933f7ac9
child 68209 aeffd8f1f079
     1.1 --- a/src/Tools/jEdit/src/jedit_sessions.scala	Thu May 17 14:50:48 2018 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_sessions.scala	Thu May 17 15:38:36 2018 +0200
     1.3 @@ -133,7 +133,7 @@
     1.4    def session_start(options: Options)
     1.5    {
     1.6      Isabelle_Process.start(PIDE.session, session_options(options),
     1.7 -      sessions = Some(PIDE.resources.session_base_info.sessions_structure),
     1.8 +      sessions_structure = Some(PIDE.resources.session_base_info.sessions_structure),
     1.9        logic = PIDE.resources.session_name,
    1.10        store = Sessions.store(session_build_mode() == "system"),
    1.11        modes =