if (oldState == null) {
// This will happen if the user initiates a resize-action (by clicking on a hot corner),
// but releases the mouse without doing any dragging
return;
}
GraphLayoutMemento newState = graph.getLayout().getMemento();
UndoableEdit edit = new GraphLayoutEdit(oldState, newState);
for (GraphControllerListener lst : listeners) {
lst.layoutWasChanged(edit);
}
}