/** Refreshes the drawing if there is some accumulated damage */
public synchronized void checkDamage() {
Iterator each = drawing().drawingChangeListeners();
while (each.hasNext()) {
Object l = each.next();
if (l instanceof DrawingView) {
((DrawingView) l).repairDamage();
}
}
}
