--- a/src/Pure/PIDE/document.scala Fri Jun 27 14:41:18 2025 +0200
+++ b/src/Pure/PIDE/document.scala Fri Jun 27 14:44:15 2025 +0200
@@ -818,7 +818,9 @@
/* model */
trait Session {
+ def session_options: Options
def resources: Resources
+ def store: Store
}
trait Model {