/**
  * We propagate all edit events from our children to undoable edit listeners, which have
  * registered with us.
  */
 public void undoableEditHappened(UndoableEditEvent e) {
   fireUndoableEditHappened(e.getEdit());
 }
Пример #2
0
 /**
  * Messaged when the Document has created an edit, the edit is added to <code>undo</code>, an
  * instance of UndoManager.
  */
 public void undoableEditHappened(UndoableEditEvent e) {
   undo.addEdit(e.getEdit());
   undoAction.update();
   redoAction.update();
 }