# HG changeset patch
# User wenzelm
# Date 1675181042 -3600
# Node ID 286fdf0fcc443376f9e37793fa4b531abeba091a
# Parent  3991a35cd7402331373b02beaa81ce429e8a8e84
clarified guard: avoid spurious auto builds;

diff -r 3991a35cd740 -r 286fdf0fcc44 src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 17:00:33 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 17:04:02 2023 +0100
@@ -386,12 +386,12 @@
       case changed: Session.Commands_Changed =>
         GUI_Thread.later {
           val domain = PIDE.editor.document_theories().filter(changed.nodes).toSet
-          if (domain.nonEmpty) theories.update(domain = Some(domain))
+          if (domain.nonEmpty) {
+            theories.update(domain = Some(domain))
 
-          val pending = document_pending()
-          val auto = document_auto()
-          if (changed.assignment || domain.nonEmpty || pending || auto) {
-            if (PIDE.editor.document_session().is_ready) {
+            val pending = document_pending()
+            val auto = document_auto()
+            if ((pending || auto) && PIDE.editor.document_session().is_ready) {
               if (pending) {
                 delay_auto_build.revoke()
                 delay_build.invoke()