+
+
+ protected void setDBUndo(boolean enabled) {
+ ICommandService service = (ICommandService) PlatformUI.getWorkbench().getService(ICommandService.class);
+ Command command = service.getCommand( TrackedTextState.COMMAND_ID );
+ State state = command.getState( TrackedTextState.STATE_ID );
+ state.setValue(enabled);
+ }
+ }