return;
}
final IUndoHandler undoHandler = (newMap.getExtension(IUndoHandler.class));
if (undoHandler != null) {
setEnabled(undoHandler.canUndo());
redo.setEnabled(undoHandler.canRedo());
undoHandler.addChangeListener(changeListener);
}
}
@Override
public void afterMapChange(final Object newMap) {};