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()
       }
     }