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