text: /*
   *     Generated by class-dump 3.4 (64 bit).
   *
   *     class-dump is Copyright (C) 1997-1998, 2000-2001, 2004-2012 by Steve Nygard.
   */
  
  #import "DVTGenericButtonViewController.h"
  
  @class DVTObservingToken;
  
  @interface IDEMiniDebuggerToolbarConsoleViewController : DVTGenericButtonViewController
  {
      DVTObservingToken *_debugSessionStateObserverToken;
      DVTObservingToken *_debuggingWindowBehaviorObservingToken;
  }
  
  - (void).cxx_destruct;
  - (void)_updateForDebuggingKVOChange:(id)arg1;
  - (id)initWithButton:(id)arg1 actionBlock:(id)arg2 setupTeardownBlock:(void)arg3 itemIdentifier:(id)arg4 window:(void)arg5;
  - (void)primitiveInvalidate;
  
  @end
  
  