11051106110711081109111011111112111311141115
{ fireEvent(new mxEventObject(mxEvent.BEFORE_UNDO, "edit", currentEdit)); mxUndoableEdit tmp = currentEdit; currentEdit = createUndoableEdit(); tmp.dispatch(); fireEvent(new mxEventObject(mxEvent.UNDO, "edit", tmp)); } } finally {
11041105110611071108110911101111111211131114
10871088108910901091109210931094109510961097