Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 25 Jun 2025 13:29:06 +0200
changeset 82766 632a893c0db5
parent 82765 c638af1c3473
child 82767 3b045cc57f0c
tuned;
src/Tools/jEdit/src/jedit_session.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle