Options
All
  • Public
  • Public/Protected
  • All
Menu

Class DebugTabBarDecorator

Hierarchy

  • DebugTabBarDecorator

Implements

  • TabBarDecorator

Index

Constructors

Properties

debugSessionManager: DebugSessionManager
emitter: Emitter<void> = ...
id: "theia-debug-tabbar-decorator" = 'theia-debug-tabbar-decorator'
toDispose: DisposableCollection = ...

Accessors

  • get onDidChangeDecorations(): Event<void>

Methods

  • decorate(title: Title<Widget>): Data[]
  • fireDidChangeDecorations(): void
  • init(): void