/** Execute a command within the editing domain. */
public void executeViaUndoManager(String label, Command command) {
if (command.canExecute()) {
if (undoManager != null) {
undoManager.beginRecording(this, label);
command.execute();
undoManager.endRecording(this);
} else executeViaStack(command);
}
}
public void setUndoManager(IStructuredTextUndoManager newUndoManager) {
undoManager = newUndoManager;
undoManager.setCommandStack(commandStack);
}