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.
proper PIDE session background for interactive document context;
authorwenzelm
Wed, 21 Dec 2022 23:18:28 +0100
changeset 76736 f6ecd23c83cd
parent 76735 e8ad377e1184
child 76738 5a88237fac53
proper PIDE session background for interactive document context;
src/Tools/jEdit/src/document_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_dockable.scala	Wed Dec 21 22:35:21 2022 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Wed Dec 21 23:18:28 2022 +0100
@@ -185,7 +185,7 @@
 
     val snapshot = PIDE.session.await_stable_snapshot()
     val session_context =
-      Export.open_session_context(store, session_background,
+      Export.open_session_context(store, PIDE.resources.session_background,
         document_snapshot = Some(snapshot))
     try {
       val context =
isabelle