/** Notifies all views of updates in the data structure. */
public void update() {
final Data data = initHistory(gui.context);
if (data == null) return;
gui.context.marked = new Nodes(data);
for (final View v : view) if (v.visible()) v.refreshUpdate();
gui.refreshControls();
}
