Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ProblemWidgetTabBarDecorator

Hierarchy

  • ProblemWidgetTabBarDecorator

Implements

  • TabBarDecorator

Index

Constructors

Properties

emitter: Emitter<void> = ...
id: "theia-problems-widget-tabbar-decorator" = 'theia-problems-widget-tabbar-decorator'
problemManager: ProblemManager

Accessors

  • get onDidChangeDecorations(): Event<void>

Methods

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