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/Tools/jEdit/src/document_model.scala
changeset 75849 dfedac6525d4
parent 75847 93436389db1c
child 75884 3d8b37b1d798 
--- a/src/Tools/jEdit/src/document_model.scala	Sat Aug 13 18:06:30 2022 +0200
+++ b/src/Tools/jEdit/src/document_model.scala	Sat Aug 13 21:23:59 2022 +0200
@@ -342,7 +342,7 @@
   ): (Boolean, Document.Node.Perspective_Text) = {
     GUI_Thread.require {}
 
-    if (Isabelle.continuous_checking() && is_theory) {
+    if (JEdit_Options.continuous_checking() && is_theory) {
       val snapshot = this.snapshot()
 
       val reparse = snapshot.node.load_commands_changed(doc_blobs)
isabelle