# HG changeset patch
# User wenzelm
# Date 1622913689 -7200
# Node ID 90b64197bafd6f8bad4b87d94cfbae13d73ea10f
# Parent  f143d0a4cb6af7781036a3220a863f6f3b300e07
more thorough update of required files (amending 1529c3eb6bac);

diff -r f143d0a4cb6a -r 90b64197bafd src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Sat Jun 05 12:57:52 2021 +0200
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Jun 05 19:21:29 2021 +0200
@@ -199,6 +199,7 @@
       if (continuous_checking != b) {
         PIDE.options.bool(CONTINUOUS_CHECKING) = b
         PIDE.session.update_options(PIDE.options.value)
+        PIDE.plugin.deps_changed()
       }
     }