@theia/markers 1.45.0 → 1.46.0-next.72

package/lib/browser/problem/problem-preferences.js

@@ -1,57 +1,57 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.bindProblemPreferences = exports.createProblemPreferences = exports.ProblemPreferences = exports.ProblemPreferenceContribution = exports.ProblemConfigSchema = void 0;
-const browser_1 = require("@theia/core/lib/browser");
-const nls_1 = require("@theia/core/lib/common/nls");
-exports.ProblemConfigSchema = {
-    'type': 'object',
-    'properties': {
-        'problems.decorations.enabled': {
-            'type': 'boolean',
-            'description': nls_1.nls.localizeByDefault('Show Errors & Warnings on files and folder.'),
-            'default': true,
-        },
-        'problems.decorations.tabbar.enabled': {
-            'type': 'boolean',
-            'description': nls_1.nls.localize('theia/markers/tabbarDecorationsEnabled', 'Show problem decorators (diagnostic markers) in the tab bars.'),
-            'default': true
-        },
-        'problems.autoReveal': {
-            'type': 'boolean',
-            'description': nls_1.nls.localizeByDefault('Controls whether Problems view should automatically reveal files when opening them.'),
-            'default': true
-        }
-    }
-};
-exports.ProblemPreferenceContribution = Symbol('ProblemPreferenceContribution');
-exports.ProblemPreferences = Symbol('ProblemPreferences');
-function createProblemPreferences(preferences, schema = exports.ProblemConfigSchema) {
-    return (0, browser_1.createPreferenceProxy)(preferences, schema);
-}
-exports.createProblemPreferences = createProblemPreferences;
-const bindProblemPreferences = (bind) => {
-    bind(exports.ProblemPreferences).toDynamicValue(ctx => {
-        const preferences = ctx.container.get(browser_1.PreferenceService);
-        const contribution = ctx.container.get(exports.ProblemPreferenceContribution);
-        return createProblemPreferences(preferences, contribution.schema);
-    }).inSingletonScope();
-    bind(exports.ProblemPreferenceContribution).toConstantValue({ schema: exports.ProblemConfigSchema });
-    bind(browser_1.PreferenceContribution).toService(exports.ProblemPreferenceContribution);
-};
-exports.bindProblemPreferences = bindProblemPreferences;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.bindProblemPreferences = exports.createProblemPreferences = exports.ProblemPreferences = exports.ProblemPreferenceContribution = exports.ProblemConfigSchema = void 0;
+const browser_1 = require("@theia/core/lib/browser");
+const nls_1 = require("@theia/core/lib/common/nls");
+exports.ProblemConfigSchema = {
+    'type': 'object',
+    'properties': {
+        'problems.decorations.enabled': {
+            'type': 'boolean',
+            'description': nls_1.nls.localizeByDefault('Show Errors & Warnings on files and folder.'),
+            'default': true,
+        },
+        'problems.decorations.tabbar.enabled': {
+            'type': 'boolean',
+            'description': nls_1.nls.localize('theia/markers/tabbarDecorationsEnabled', 'Show problem decorators (diagnostic markers) in the tab bars.'),
+            'default': true
+        },
+        'problems.autoReveal': {
+            'type': 'boolean',
+            'description': nls_1.nls.localizeByDefault('Controls whether Problems view should automatically reveal files when opening them.'),
+            'default': true
+        }
+    }
+};
+exports.ProblemPreferenceContribution = Symbol('ProblemPreferenceContribution');
+exports.ProblemPreferences = Symbol('ProblemPreferences');
+function createProblemPreferences(preferences, schema = exports.ProblemConfigSchema) {
+    return (0, browser_1.createPreferenceProxy)(preferences, schema);
+}
+exports.createProblemPreferences = createProblemPreferences;
+const bindProblemPreferences = (bind) => {
+    bind(exports.ProblemPreferences).toDynamicValue(ctx => {
+        const preferences = ctx.container.get(browser_1.PreferenceService);
+        const contribution = ctx.container.get(exports.ProblemPreferenceContribution);
+        return createProblemPreferences(preferences, contribution.schema);
+    }).inSingletonScope();
+    bind(exports.ProblemPreferenceContribution).toConstantValue({ schema: exports.ProblemConfigSchema });
+    bind(browser_1.PreferenceContribution).toService(exports.ProblemPreferenceContribution);
+};
+exports.bindProblemPreferences = bindProblemPreferences;
 //# sourceMappingURL=problem-preferences.js.map

package/lib/browser/problem/problem-selection.d.ts

@@ -1,13 +1,13 @@
-import { SelectionService } from '@theia/core/lib/common/selection-service';
-import { SelectionCommandHandler } from '@theia/core/lib/common/selection-command-handler';
-import { Marker } from '../../common/marker';
-export interface ProblemSelection {
-    marker: Marker<object>;
-}
-export declare namespace ProblemSelection {
-    function is(arg: unknown): arg is ProblemSelection;
-    class CommandHandler extends SelectionCommandHandler<ProblemSelection> {
-        constructor(selectionService: SelectionService, options: SelectionCommandHandler.Options<ProblemSelection>);
-    }
-}
+import { SelectionService } from '@theia/core/lib/common/selection-service';
+import { SelectionCommandHandler } from '@theia/core/lib/common/selection-command-handler';
+import { Marker } from '../../common/marker';
+export interface ProblemSelection {
+    marker: Marker<object>;
+}
+export declare namespace ProblemSelection {
+    function is(arg: unknown): arg is ProblemSelection;
+    class CommandHandler extends SelectionCommandHandler<ProblemSelection> {
+        constructor(selectionService: SelectionService, options: SelectionCommandHandler.Options<ProblemSelection>);
+    }
+}
 //# sourceMappingURL=problem-selection.d.ts.map

package/lib/browser/problem/problem-selection.js

@@ -1,35 +1,35 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ProblemSelection = void 0;
-const selection_command_handler_1 = require("@theia/core/lib/common/selection-command-handler");
-const common_1 = require("@theia/core/lib/common");
-const problem_marker_1 = require("../../common/problem-marker");
-var ProblemSelection;
-(function (ProblemSelection) {
-    function is(arg) {
-        return (0, common_1.isObject)(arg) && problem_marker_1.ProblemMarker.is(arg.marker);
-    }
-    ProblemSelection.is = is;
-    class CommandHandler extends selection_command_handler_1.SelectionCommandHandler {
-        constructor(selectionService, options) {
-            super(selectionService, arg => ProblemSelection.is(arg) ? arg : undefined, options);
-        }
-    }
-    ProblemSelection.CommandHandler = CommandHandler;
-})(ProblemSelection = exports.ProblemSelection || (exports.ProblemSelection = {}));
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProblemSelection = void 0;
+const selection_command_handler_1 = require("@theia/core/lib/common/selection-command-handler");
+const common_1 = require("@theia/core/lib/common");
+const problem_marker_1 = require("../../common/problem-marker");
+var ProblemSelection;
+(function (ProblemSelection) {
+    function is(arg) {
+        return (0, common_1.isObject)(arg) && problem_marker_1.ProblemMarker.is(arg.marker);
+    }
+    ProblemSelection.is = is;
+    class CommandHandler extends selection_command_handler_1.SelectionCommandHandler {
+        constructor(selectionService, options) {
+            super(selectionService, arg => ProblemSelection.is(arg) ? arg : undefined, options);
+        }
+    }
+    ProblemSelection.CommandHandler = CommandHandler;
+})(ProblemSelection = exports.ProblemSelection || (exports.ProblemSelection = {}));
 //# sourceMappingURL=problem-selection.js.map

package/lib/browser/problem/problem-tabbar-decorator.d.ts

@@ -1,43 +1,43 @@
-import { Diagnostic } from '@theia/core/shared/vscode-languageserver-protocol';
-import { Event, Emitter } from '@theia/core/lib/common/event';
-import { Title, Widget } from '@theia/core/shared/@phosphor/widgets';
-import { WidgetDecoration } from '@theia/core/lib/browser/widget-decoration';
-import { TabBarDecorator } from '@theia/core/lib/browser/shell/tab-bar-decorator';
-import { Marker } from '../../common/marker';
-import { ProblemManager } from './problem-manager';
-import { ProblemPreferences, ProblemConfiguration } from './problem-preferences';
-import { PreferenceChangeEvent } from '@theia/core/lib/browser';
-export declare class ProblemTabBarDecorator implements TabBarDecorator {
-    readonly id = "theia-problem-tabbar-decorator";
-    protected readonly emitter: Emitter<void>;
-    protected readonly preferences: ProblemPreferences;
-    protected readonly problemManager: ProblemManager;
-    protected init(): void;
-    decorate(title: Title<Widget>): WidgetDecoration.Data[];
-    get onDidChangeDecorations(): Event<void>;
-    protected fireDidChangeDecorations(): void;
-    /**
-     * Handle changes in preference.
-     * @param {PreferenceChangeEvent<ProblemConfiguration>} event The event of the changes in preference.
-     */
-    protected handlePreferenceChange(event: PreferenceChangeEvent<ProblemConfiguration>): Promise<void>;
-    /**
-     * Convert a diagnostic marker to a decorator.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {WidgetDecoration.Data} The decoration data.
-     */
-    protected toDecorator(marker: Marker<Diagnostic>): WidgetDecoration.Data;
-    /**
-     * Get the appropriate overlay icon for decoration.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {string} A string representing the overlay icon class.
-     */
-    protected getOverlayIcon(marker: Marker<Diagnostic>): string;
-    /**
-     * Get the appropriate overlay icon color for decoration.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {WidgetDecoration.Color} The decoration color.
-     */
-    protected getOverlayIconColor(marker: Marker<Diagnostic>): WidgetDecoration.Color;
-}
+import { Diagnostic } from '@theia/core/shared/vscode-languageserver-protocol';
+import { Event, Emitter } from '@theia/core/lib/common/event';
+import { Title, Widget } from '@theia/core/shared/@phosphor/widgets';
+import { WidgetDecoration } from '@theia/core/lib/browser/widget-decoration';
+import { TabBarDecorator } from '@theia/core/lib/browser/shell/tab-bar-decorator';
+import { Marker } from '../../common/marker';
+import { ProblemManager } from './problem-manager';
+import { ProblemPreferences, ProblemConfiguration } from './problem-preferences';
+import { PreferenceChangeEvent } from '@theia/core/lib/browser';
+export declare class ProblemTabBarDecorator implements TabBarDecorator {
+    readonly id = "theia-problem-tabbar-decorator";
+    protected readonly emitter: Emitter<void>;
+    protected readonly preferences: ProblemPreferences;
+    protected readonly problemManager: ProblemManager;
+    protected init(): void;
+    decorate(title: Title<Widget>): WidgetDecoration.Data[];
+    get onDidChangeDecorations(): Event<void>;
+    protected fireDidChangeDecorations(): void;
+    /**
+     * Handle changes in preference.
+     * @param {PreferenceChangeEvent<ProblemConfiguration>} event The event of the changes in preference.
+     */
+    protected handlePreferenceChange(event: PreferenceChangeEvent<ProblemConfiguration>): Promise<void>;
+    /**
+     * Convert a diagnostic marker to a decorator.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {WidgetDecoration.Data} The decoration data.
+     */
+    protected toDecorator(marker: Marker<Diagnostic>): WidgetDecoration.Data;
+    /**
+     * Get the appropriate overlay icon for decoration.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {string} A string representing the overlay icon class.
+     */
+    protected getOverlayIcon(marker: Marker<Diagnostic>): string;
+    /**
+     * Get the appropriate overlay icon color for decoration.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {WidgetDecoration.Color} The decoration color.
+     */
+    protected getOverlayIconColor(marker: Marker<Diagnostic>): WidgetDecoration.Color;
+}
 //# sourceMappingURL=problem-tabbar-decorator.d.ts.map

package/lib/browser/problem/problem-tabbar-decorator.js

@@ -1,161 +1,161 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2019 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ProblemTabBarDecorator = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
-const event_1 = require("@theia/core/lib/common/event");
-const widget_decoration_1 = require("@theia/core/lib/browser/widget-decoration");
-const problem_manager_1 = require("./problem-manager");
-const problem_preferences_1 = require("./problem-preferences");
-const browser_1 = require("@theia/core/lib/browser");
-let ProblemTabBarDecorator = class ProblemTabBarDecorator {
-    constructor() {
-        this.id = 'theia-problem-tabbar-decorator';
-        this.emitter = new event_1.Emitter();
-    }
-    init() {
-        this.problemManager.onDidChangeMarkers(() => this.fireDidChangeDecorations());
-        this.preferences.onPreferenceChanged(event => this.handlePreferenceChange(event));
-    }
-    decorate(title) {
-        if (!this.preferences['problems.decorations.tabbar.enabled']) {
-            return [];
-        }
-        const widget = title.owner;
-        if (browser_1.Navigatable.is(widget)) {
-            const resourceUri = widget.getResourceUri();
-            if (resourceUri) {
-                // Get the list of problem markers for the given resource URI.
-                const markers = this.problemManager.findMarkers({ uri: resourceUri });
-                // If no markers are available, return early.
-                if (markers.length === 0) {
-                    return [];
-                }
-                // Store the marker with the highest severity.
-                let maxSeverity;
-                // Iterate over available markers to determine that which has the highest severity.
-                // Only display a decoration if an error or warning marker is available.
-                for (const marker of markers) {
-                    // Break early if an error marker is present, since it represents the highest severity.
-                    if (marker.data.severity === vscode_languageserver_protocol_1.DiagnosticSeverity.Error) {
-                        maxSeverity = marker;
-                        break;
-                    }
-                    else if (marker.data.severity === vscode_languageserver_protocol_1.DiagnosticSeverity.Warning) {
-                        maxSeverity = marker;
-                    }
-                }
-                // Decorate the tabbar with the highest marker severity if available.
-                return maxSeverity ? [this.toDecorator(maxSeverity)] : [];
-            }
-        }
-        return [];
-    }
-    get onDidChangeDecorations() {
-        return this.emitter.event;
-    }
-    fireDidChangeDecorations() {
-        this.emitter.fire(undefined);
-    }
-    /**
-     * Handle changes in preference.
-     * @param {PreferenceChangeEvent<ProblemConfiguration>} event The event of the changes in preference.
-     */
-    async handlePreferenceChange(event) {
-        const { preferenceName } = event;
-        if (preferenceName === 'problems.decorations.tabbar.enabled') {
-            this.fireDidChangeDecorations();
-        }
-    }
-    /**
-     * Convert a diagnostic marker to a decorator.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {WidgetDecoration.Data} The decoration data.
-     */
-    toDecorator(marker) {
-        const position = widget_decoration_1.WidgetDecoration.IconOverlayPosition.BOTTOM_RIGHT;
-        const icon = this.getOverlayIcon(marker);
-        const color = this.getOverlayIconColor(marker);
-        return {
-            iconOverlay: {
-                position,
-                icon,
-                color,
-                background: {
-                    shape: 'circle',
-                    color: 'transparent'
-                }
-            }
-        };
-    }
-    /**
-     * Get the appropriate overlay icon for decoration.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {string} A string representing the overlay icon class.
-     */
-    getOverlayIcon(marker) {
-        const { severity } = marker.data;
-        switch (severity) {
-            case 1: return 'times-circle';
-            case 2: return 'exclamation-circle';
-            case 3: return 'info-circle';
-            default: return 'hand-o-up';
-        }
-    }
-    /**
-     * Get the appropriate overlay icon color for decoration.
-     * @param {Marker<Diagnostic>} marker A diagnostic marker.
-     * @returns {WidgetDecoration.Color} The decoration color.
-     */
-    getOverlayIconColor(marker) {
-        const { severity } = marker.data;
-        switch (severity) {
-            case 1: return 'var(--theia-list-errorForeground)';
-            case 2: return 'var(--theia-list-warningForeground)';
-            default: return 'var(--theia-successBackground)';
-        }
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(problem_preferences_1.ProblemPreferences),
-    __metadata("design:type", Object)
-], ProblemTabBarDecorator.prototype, "preferences", void 0);
-__decorate([
-    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
-    __metadata("design:type", problem_manager_1.ProblemManager)
-], ProblemTabBarDecorator.prototype, "problemManager", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], ProblemTabBarDecorator.prototype, "init", null);
-ProblemTabBarDecorator = __decorate([
-    (0, inversify_1.injectable)()
-], ProblemTabBarDecorator);
-exports.ProblemTabBarDecorator = ProblemTabBarDecorator;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2019 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProblemTabBarDecorator = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const vscode_languageserver_protocol_1 = require("@theia/core/shared/vscode-languageserver-protocol");
+const event_1 = require("@theia/core/lib/common/event");
+const widget_decoration_1 = require("@theia/core/lib/browser/widget-decoration");
+const problem_manager_1 = require("./problem-manager");
+const problem_preferences_1 = require("./problem-preferences");
+const browser_1 = require("@theia/core/lib/browser");
+let ProblemTabBarDecorator = class ProblemTabBarDecorator {
+    constructor() {
+        this.id = 'theia-problem-tabbar-decorator';
+        this.emitter = new event_1.Emitter();
+    }
+    init() {
+        this.problemManager.onDidChangeMarkers(() => this.fireDidChangeDecorations());
+        this.preferences.onPreferenceChanged(event => this.handlePreferenceChange(event));
+    }
+    decorate(title) {
+        if (!this.preferences['problems.decorations.tabbar.enabled']) {
+            return [];
+        }
+        const widget = title.owner;
+        if (browser_1.Navigatable.is(widget)) {
+            const resourceUri = widget.getResourceUri();
+            if (resourceUri) {
+                // Get the list of problem markers for the given resource URI.
+                const markers = this.problemManager.findMarkers({ uri: resourceUri });
+                // If no markers are available, return early.
+                if (markers.length === 0) {
+                    return [];
+                }
+                // Store the marker with the highest severity.
+                let maxSeverity;
+                // Iterate over available markers to determine that which has the highest severity.
+                // Only display a decoration if an error or warning marker is available.
+                for (const marker of markers) {
+                    // Break early if an error marker is present, since it represents the highest severity.
+                    if (marker.data.severity === vscode_languageserver_protocol_1.DiagnosticSeverity.Error) {
+                        maxSeverity = marker;
+                        break;
+                    }
+                    else if (marker.data.severity === vscode_languageserver_protocol_1.DiagnosticSeverity.Warning) {
+                        maxSeverity = marker;
+                    }
+                }
+                // Decorate the tabbar with the highest marker severity if available.
+                return maxSeverity ? [this.toDecorator(maxSeverity)] : [];
+            }
+        }
+        return [];
+    }
+    get onDidChangeDecorations() {
+        return this.emitter.event;
+    }
+    fireDidChangeDecorations() {
+        this.emitter.fire(undefined);
+    }
+    /**
+     * Handle changes in preference.
+     * @param {PreferenceChangeEvent<ProblemConfiguration>} event The event of the changes in preference.
+     */
+    async handlePreferenceChange(event) {
+        const { preferenceName } = event;
+        if (preferenceName === 'problems.decorations.tabbar.enabled') {
+            this.fireDidChangeDecorations();
+        }
+    }
+    /**
+     * Convert a diagnostic marker to a decorator.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {WidgetDecoration.Data} The decoration data.
+     */
+    toDecorator(marker) {
+        const position = widget_decoration_1.WidgetDecoration.IconOverlayPosition.BOTTOM_RIGHT;
+        const icon = this.getOverlayIcon(marker);
+        const color = this.getOverlayIconColor(marker);
+        return {
+            iconOverlay: {
+                position,
+                icon,
+                color,
+                background: {
+                    shape: 'circle',
+                    color: 'transparent'
+                }
+            }
+        };
+    }
+    /**
+     * Get the appropriate overlay icon for decoration.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {string} A string representing the overlay icon class.
+     */
+    getOverlayIcon(marker) {
+        const { severity } = marker.data;
+        switch (severity) {
+            case 1: return 'times-circle';
+            case 2: return 'exclamation-circle';
+            case 3: return 'info-circle';
+            default: return 'hand-o-up';
+        }
+    }
+    /**
+     * Get the appropriate overlay icon color for decoration.
+     * @param {Marker<Diagnostic>} marker A diagnostic marker.
+     * @returns {WidgetDecoration.Color} The decoration color.
+     */
+    getOverlayIconColor(marker) {
+        const { severity } = marker.data;
+        switch (severity) {
+            case 1: return 'var(--theia-list-errorForeground)';
+            case 2: return 'var(--theia-list-warningForeground)';
+            default: return 'var(--theia-successBackground)';
+        }
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(problem_preferences_1.ProblemPreferences),
+    __metadata("design:type", Object)
+], ProblemTabBarDecorator.prototype, "preferences", void 0);
+__decorate([
+    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
+    __metadata("design:type", problem_manager_1.ProblemManager)
+], ProblemTabBarDecorator.prototype, "problemManager", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], ProblemTabBarDecorator.prototype, "init", null);
+ProblemTabBarDecorator = __decorate([
+    (0, inversify_1.injectable)()
+], ProblemTabBarDecorator);
+exports.ProblemTabBarDecorator = ProblemTabBarDecorator;
 //# sourceMappingURL=problem-tabbar-decorator.js.map