# HG changeset patch
# User desharna
# Date 1671695776 -3600
# Node ID 5a88237fac53499be6f9b03a5c3ac3a389308673
# Parent  f6ecd23c83cd6f413ed9eff15c3ee76f1b85fa35# Parent  9d9a2731a4e33e41c7b39ac1a74459f9bd057297
merged

diff -r 9d9a2731a4e3 -r 5a88237fac53 NEWS
--- a/NEWS	Wed Dec 21 22:35:55 2022 +0100
+++ b/NEWS	Thu Dec 22 08:56:16 2022 +0100
@@ -18,6 +18,9 @@
   - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"
   - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs"
 
+* Support for interactive document preparation in PIDE, notably via the
+Isabelle/jEdit Document panel.
+
 
 *** HOL ***
 
diff -r 9d9a2731a4e3 -r 5a88237fac53 src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Wed Dec 21 22:35:55 2022 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Thu Dec 22 08:56:16 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 =