eliminated redundant check (see also 27328dcaf64c vs. 9c53198dbb1c);
authorwenzelm
Mon Mar 20 14:25:06 2017 +0100 (2017-03-20)
changeset 65331999864cdf96c
parent 65329 4f3da52cec02
child 65332 7dbb780f24a9
eliminated redundant check (see also 27328dcaf64c vs. 9c53198dbb1c);
src/Tools/jEdit/src/document_view.scala
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Sun Mar 19 20:28:21 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Mon Mar 20 14:25:06 2017 +0100
     1.3 @@ -213,7 +213,6 @@
     1.4                val snapshot = model.snapshot()
     1.5  
     1.6                if (changed.assignment ||
     1.7 -                  snapshot.commands_loading.exists(changed.commands.contains) ||
     1.8                    (changed.nodes.contains(model.node_name) &&
     1.9                     changed.commands.exists(snapshot.node.commands.contains)))
    1.10                  text_overview.invoke()