211212213214215216217218
{ if (debugging_ != debugging) { debugging_ = debugging; setDebugCommandsEnabled(debugging_); eventBus_.fireEvent(new DebugModeChangedEvent(debugging_)); } }