Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/document_editor.scala
changeset 82918 af85ea5d9b20
parent 77202 064566bc1f35 
--- a/src/Pure/PIDE/document_editor.scala	Mon Jul 28 15:58:40 2025 +0200
+++ b/src/Pure/PIDE/document_editor.scala	Mon Jul 28 16:10:02 2025 +0200
@@ -141,7 +141,7 @@
         else {
           val snapshot = pide_session.snapshot()
           def document_ready(theory: String): Boolean =
-            pide_session.resources.session_base.loaded_theory(theory) ||
+            pide_session.resources.loaded_theory(theory) ||
             snapshot.theory_consolidated(theory)
           if (snapshot.is_outdated || !selection.forall(document_ready)) None
           else Some(snapshot)
isabelle