# HG changeset patch
# User wenzelm
# Date 1671661108 -3600
# Node ID f6ecd23c83cd6f413ed9eff15c3ee76f1b85fa35
# Parent  e8ad377e1184facf1968a4daffa4569902236a02
proper PIDE session background for interactive document context;

diff -r e8ad377e1184 -r f6ecd23c83cd src/Tools/jEdit/src/document_dockable.scala
--- 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 =