# HG changeset patch
# User wenzelm
# Date 1750850946 -7200
# Node ID 632a893c0db5f147ad308f89e0e8b757f5ec0673
# Parent  c638af1c3473ef94ef8d5b9b0d1db9ebde52cb88
tuned;

diff -r c638af1c3473 -r 632a893c0db5 src/Tools/jEdit/src/jedit_session.scala
--- a/src/Tools/jEdit/src/jedit_session.scala	Wed Jun 25 13:16:07 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_session.scala	Wed Jun 25 13:29:06 2025 +0200
@@ -129,7 +129,7 @@
 
   def session_background(options: Options): Sessions.Background =
     Sessions.background(options,
-      dirs = JEdit_Session.session_dirs,
+      dirs = session_dirs,
       include_sessions = logic_include_sessions,
       session = logic_name(options),
       session_ancestor = logic_ancestor,