9596979899100101102103104105
public boolean preUndo() { UndoableEditTimer.getTimer().sendNow(); return true; } }); delegate.addRedoRequestFilter(new RedoRequestFilter() { @Override public boolean preRedo() { UndoableEditTimer.getTimer().sendNow(); return true;