--- 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 ***
--- 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 =