Class ProblemWidgetTabBarDecorator

Implements

  • TabBarDecorator

Constructors

Properties

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

Accessors

Methods