# HG changeset patch
# User wenzelm
# Date 1490016306 -3600
# Node ID 999864cdf96cbb548e43bf3a53ea53f577eb11cc
# Parent  4f3da52cec02481db9b0219363012a6ea96f33c7
eliminated redundant check (see also 27328dcaf64c vs. 9c53198dbb1c);

diff -r 4f3da52cec02 -r 999864cdf96c src/Tools/jEdit/src/document_view.scala
--- a/src/Tools/jEdit/src/document_view.scala	Sun Mar 19 20:28:21 2017 +0100
+++ b/src/Tools/jEdit/src/document_view.scala	Mon Mar 20 14:25:06 2017 +0100
@@ -213,7 +213,6 @@
               val snapshot = model.snapshot()
 
               if (changed.assignment ||
-                  snapshot.commands_loading.exists(changed.commands.contains) ||
                   (changed.nodes.contains(model.node_name) &&
                    changed.commands.exists(snapshot.node.commands.contains)))
                 text_overview.invoke()