Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ProblemTabBarDecorator

Hierarchy

  • ProblemTabBarDecorator

Implements

  • TabBarDecorator

Index

Constructors

Properties

emitter: Emitter<void> = ...
id: "theia-problem-tabbar-decorator" = 'theia-problem-tabbar-decorator'
preferences: ProblemPreferences
problemManager: ProblemManager

Accessors

  • get onDidChangeDecorations(): Event<void>

Methods

  • decorate(title: Title<Widget>): Data[]
  • fireDidChangeDecorations(): void
  • getOverlayIcon(marker: Marker<Diagnostic>): string
  • getOverlayIconColor(marker: Marker<Diagnostic>): string
  • init(): void
  • toDecorator(marker: Marker<Diagnostic>): Data