Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
authorwenzelm
Wed, 25 Jun 2025 12:25:02 +0200
changeset 82760 e891ff63e6db
parent 82759 c7d2ae25d008
child 82761 88ffadf17062
more robust session startup, notably Isabelle/jEdit with session build (amending 0e36478a1b6a);
src/Pure/PIDE/session.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.scala	Wed Jun 25 12:08:12 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Wed Jun 25 12:25:02 2025 +0200
@@ -130,7 +130,7 @@
   def print_now(): String = (Time.now() - init_time).toString
 
   val store: Store = Store(_session_options)
-  def cache: Rich_Text.Cache = store.cache
+  def cache: Rich_Text.Cache = if (store == null) Rich_Text.Cache.make() else 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
isabelle