238239240241242243244245246247248
lastFigure = figure; view.setFigureUnderCursor(figure); if (figure != null) { figure.invalidate(); } view.repairDamage(); } }