Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ProblemWidgetTabBarDecorator

Hierarchy

  • ProblemWidgetTabBarDecorator

Implements

  • TabBarDecorator

Index

Constructors

constructor

Properties

Protected Readonly emitter

emitter: Emitter<void> = ...

Readonly id

id: "theia-problems-widget-tabbar-decorator" = 'theia-problems-widget-tabbar-decorator'

Protected Readonly problemManager

problemManager: ProblemManager

Accessors

onDidChangeDecorations

  • get onDidChangeDecorations(): Event<void>

Methods

decorate

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

Protected fireDidChangeDecorations

  • fireDidChangeDecorations(): void

Protected init

  • init(): void