# HG changeset patch
# User wenzelm
# Date 1671626321 -3600
# Node ID 421137ff146a6f376ba45e565ba618c2b726caff
# Parent  6d95e8a636e2effa7d90a652e1fe3bc62a6050dd
clarified signature;

diff -r 6d95e8a636e2 -r 421137ff146a src/Tools/jEdit/src/jedit_sessions.scala
--- a/src/Tools/jEdit/src/jedit_sessions.scala	Wed Dec 21 13:22:57 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_sessions.scala	Wed Dec 21 13:38:41 2022 +0100
@@ -43,6 +43,9 @@
     Sessions.load_structure(session_options(options), dirs = dirs)
   }
 
+  def sessions_store(options: Options): Sessions.Store =
+    Sessions.store(session_options(options))
+
 
   /* raw logic info */
 
@@ -141,18 +144,17 @@
       infos = PIDE.resources.session_background.infos).rc
   }
 
-  def session_start(options0: Options): Unit = {
+  def session_start(options: Options): Unit = {
     val session = PIDE.session
-    val options = session_options(options0)
     val session_background = PIDE.resources.session_background
-    val store = Sessions.store(options)
+    val store = sessions_store(options)
 
     session.phase_changed += PIDE.plugin.session_phase_changed
 
-    Isabelle_Process.start(session, options, session_background, store,
-      logic = PIDE.resources.session_base.session_name,
+    Isabelle_Process.start(session, store.options, session_background, store,
+      logic = session_background.session_name,
       modes =
-        (space_explode(',', options.string("jedit_print_mode")) :::
+        (space_explode(',', store.options.string("jedit_print_mode")) :::
          space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).reverse)
   }
 }