Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ProblemTabBarDecorator

Hierarchy

  • ProblemTabBarDecorator

Implements

  • TabBarDecorator

Index

Constructors

constructor

Properties

Protected Readonly emitter

emitter: Emitter<void> = ...

Readonly id

id: "theia-problem-tabbar-decorator" = 'theia-problem-tabbar-decorator'

Protected Readonly preferences

preferences: PreferenceProxy<ProblemConfiguration>

Protected Readonly problemManager

problemManager: ProblemManager

Accessors

onDidChangeDecorations

  • get onDidChangeDecorations(): Event<void>

Methods

decorate

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

Protected fireDidChangeDecorations

  • fireDidChangeDecorations(): void

Protected getOverlayIcon

  • getOverlayIcon(marker: Marker<Diagnostic>): string

Protected getOverlayIconColor

  • getOverlayIconColor(marker: Marker<Diagnostic>): string

Protected handlePreferenceChange

Protected init

  • init(): void

Protected toDecorator

  • toDecorator(marker: Marker<Diagnostic>): Data