src/Tools/jEdit/src/document_view.scala

           Isabelle.swing_buffer_lock(buffer) {
             val (updated, snapshot) = flush_snapshot()
             val visible = visible_range()
 
             if (updated ||
-                (changed.nodes.contains(model.node_name) &&
+                (changed.nodes.contains(model.name) &&
                  changed.commands.exists(snapshot.node.commands.contains)))
               overview.repaint()
 
             if (updated) invalidate_range(visible)
             else {