Class ProblemTabBarDecorator

Implements

  • TabBarDecorator

Constructors

Properties

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

Accessors

Methods