530531532533534535536
/** * Fires a value change event to indicate the undo/redo state has changed.<p> */ private void fireStateChange() { ValueChangeEvent.fire(this, new UndoRedoState(hasUndo(), hasRedo())); }