/**
* 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());
}
/**
* 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();
}
