diff -r 1629a57f3ef3 -r 0e36478a1b6a src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Tue Jun 24 21:32:51 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Tue Jun 24 21:49:43 2025 +0200
@@ -129,7 +129,8 @@
   val init_time: Time = Time.now()
   def print_now(): String = (Time.now() - init_time).toString
 
-  val cache: Rich_Text.Cache = Rich_Text.Cache.make()
+  val store: Store = Store(_session_options)
+  def cache: Rich_Text.Cache = store.cache
 
   def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info = Command.Blobs_Info.empty
   def build_blobs(name: Document.Node.Name): Document.Blobs = Document.Blobs.empty