Example #1
0
 private void execUndoInformation(boolean undo) {
   UndoInformation undoInfo = undoStack.get(undo);
   if (undoInfo != null) {
     setRectangle(getRectangle().add(undoInfo.getDiffRectangle(getGridSize(), undo)));
     Stickables.applyChanges(undoInfo.getStickableMoves(undo), null);
     // setAdditionalAttributes(undoInfo.getAdditionalAttributes(undo)); //Issue 217: of all
     // OldGridElements only the Relation uses additional attributes and in that case they must not
     // be set because of zooming errors (see Issue 217)
   }
 }