11391140114111421143114411451146114711481149
DrawingView view = editorArea.getCurrentView(); FigureEnumeration fe = view.getDrawing().getFigures(); while (fe.hasMoreElements()) { Figure f = fe.nextFigure(); view.toggleSelection(f); } view.repairDamage(); } }