Options
All
  • Public
  • Public/Protected
  • All
Menu

Class NavigatorTabBarDecorator

Hierarchy

  • NavigatorTabBarDecorator

Implements

  • TabBarDecorator
  • FrontendApplicationContribution

Index

Constructors

Properties

applicationShell: ApplicationShell
emitter: Emitter<void> = ...
id: "theia-navigator-tabbar-decorator" = 'theia-navigator-tabbar-decorator'
toDispose: DisposableCollection = ...
toDisposeOnDirtyChanged: Map<string, Disposable> = ...

Accessors

  • get onDidChangeDecorations(): Event<void>

Methods

  • decorate(title: Title<Widget>): Data[]
  • fireDidChangeDecorations(): void
  • getDirtyEditorsCount(): number
  • onStart(app: FrontendApplication): void