@theia/markers 1.34.2 → 1.34.3

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

@@ -1,248 +1,248 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2017 TypeFox 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 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.ProblemContribution = exports.ProblemsCommands = exports.ProblemsMenu = exports.PROBLEMS_CONTEXT_MENU = void 0;
-const debounce = require("@theia/core/shared/lodash.debounce");
-const inversify_1 = require("@theia/core/shared/inversify");
-const browser_1 = require("@theia/core/lib/browser");
-const status_bar_1 = require("@theia/core/lib/browser/status-bar/status-bar");
-const view_contribution_1 = require("@theia/core/lib/browser/shell/view-contribution");
-const problem_marker_1 = require("../../common/problem-marker");
-const problem_manager_1 = require("./problem-manager");
-const problem_widget_1 = require("./problem-widget");
-const command_1 = require("@theia/core/lib/common/command");
-const selection_service_1 = require("@theia/core/lib/common/selection-service");
-const problem_selection_1 = require("./problem-selection");
-const nls_1 = require("@theia/core/lib/common/nls");
-exports.PROBLEMS_CONTEXT_MENU = [problem_marker_1.PROBLEM_KIND];
-var ProblemsMenu;
-(function (ProblemsMenu) {
-    ProblemsMenu.CLIPBOARD = [...exports.PROBLEMS_CONTEXT_MENU, '1_clipboard'];
-    ProblemsMenu.PROBLEMS = [...exports.PROBLEMS_CONTEXT_MENU, '2_problems'];
-})(ProblemsMenu = exports.ProblemsMenu || (exports.ProblemsMenu = {}));
-var ProblemsCommands;
-(function (ProblemsCommands) {
-    ProblemsCommands.COLLAPSE_ALL = {
-        id: 'problems.collapse.all'
-    };
-    ProblemsCommands.COLLAPSE_ALL_TOOLBAR = {
-        id: 'problems.collapse.all.toolbar',
-        iconClass: (0, browser_1.codicon)('collapse-all')
-    };
-    ProblemsCommands.COPY = {
-        id: 'problems.copy'
-    };
-    ProblemsCommands.COPY_MESSAGE = {
-        id: 'problems.copy.message',
-    };
-    ProblemsCommands.CLEAR_ALL = command_1.Command.toLocalizedCommand({
-        id: 'problems.clear.all',
-        category: 'Problems',
-        label: 'Clear All',
-        iconClass: (0, browser_1.codicon)('clear-all')
-    }, 'theia/markers/clearAll', nls_1.nls.getDefaultKey('Problems'));
-})(ProblemsCommands = exports.ProblemsCommands || (exports.ProblemsCommands = {}));
-let ProblemContribution = class ProblemContribution extends view_contribution_1.AbstractViewContribution {
-    constructor() {
-        super({
-            widgetId: problem_widget_1.PROBLEMS_WIDGET_ID,
-            widgetName: nls_1.nls.localizeByDefault('Problems'),
-            defaultWidgetOptions: {
-                area: 'bottom'
-            },
-            toggleCommandId: 'problemsView:toggle',
-            toggleKeybinding: 'ctrlcmd+shift+m'
-        });
-        this.updateStatusBarElement = debounce(() => this.setStatusBarElement(this.problemManager.getProblemStat()), 10);
-    }
-    onStart(app) {
-        this.updateStatusBarElement();
-        this.problemManager.onDidChangeMarkers(this.updateStatusBarElement);
-    }
-    async initializeLayout(app) {
-        await this.openView();
-    }
-    setStatusBarElement(problemStat) {
-        this.statusBar.setElement('problem-marker-status', {
-            text: problemStat.infos <= 0
-                ? `$(codicon-error) ${problemStat.errors} $(codicon-warning) ${problemStat.warnings}`
-                : `$(codicon-error) ${problemStat.errors} $(codicon-warning) ${problemStat.warnings} $(codicon-info) ${problemStat.infos}`,
-            alignment: status_bar_1.StatusBarAlignment.LEFT,
-            priority: 10,
-            command: this.toggleCommand ? this.toggleCommand.id : undefined,
-            tooltip: this.getStatusBarTooltip(problemStat)
-        });
-    }
-    /**
-     * Get the tooltip to be displayed when hovering over the problem statusbar item.
-     * - Displays `No Problems` when no problems are present.
-     * - Displays a human-readable label which describes for each type of problem stat properties,
-     * their overall count and type when any one of these properties has a positive count.
-     * @param stat the problem stat describing the number of `errors`, `warnings` and `infos`.
-     *
-     * @return the tooltip to be displayed in the statusbar.
-     */
-    getStatusBarTooltip(stat) {
-        if (stat.errors <= 0 && stat.warnings <= 0 && stat.infos <= 0) {
-            return nls_1.nls.localizeByDefault('No Problems');
-        }
-        const tooltip = [];
-        if (stat.errors > 0) {
-            tooltip.push(nls_1.nls.localizeByDefault('{0} Errors', stat.errors));
-        }
-        if (stat.warnings > 0) {
-            tooltip.push(nls_1.nls.localizeByDefault('{0} Warnings', stat.warnings));
-        }
-        if (stat.infos > 0) {
-            tooltip.push(nls_1.nls.localizeByDefault('{0} Infos', stat.infos));
-        }
-        return tooltip.join(', ');
-    }
-    registerCommands(commands) {
-        super.registerCommands(commands);
-        commands.registerCommand(ProblemsCommands.COLLAPSE_ALL, {
-            execute: () => this.collapseAllProblems()
-        });
-        commands.registerCommand(ProblemsCommands.COLLAPSE_ALL_TOOLBAR, {
-            isEnabled: widget => this.withWidget(widget, () => true),
-            isVisible: widget => this.withWidget(widget, () => true),
-            execute: widget => this.withWidget(widget, () => this.collapseAllProblems())
-        });
-        commands.registerCommand(ProblemsCommands.COPY, new problem_selection_1.ProblemSelection.CommandHandler(this.selectionService, {
-            multi: false,
-            isEnabled: () => true,
-            isVisible: () => true,
-            execute: selection => this.copy(selection)
-        }));
-        commands.registerCommand(ProblemsCommands.COPY_MESSAGE, new problem_selection_1.ProblemSelection.CommandHandler(this.selectionService, {
-            multi: false,
-            isEnabled: () => true,
-            isVisible: () => true,
-            execute: selection => this.copyMessage(selection)
-        }));
-        commands.registerCommand(ProblemsCommands.CLEAR_ALL, {
-            isEnabled: widget => this.withWidget(widget, () => true),
-            isVisible: widget => this.withWidget(widget, () => true),
-            execute: widget => this.withWidget(widget, () => this.problemManager.cleanAllMarkers())
-        });
-    }
-    registerMenus(menus) {
-        super.registerMenus(menus);
-        menus.registerMenuAction(ProblemsMenu.CLIPBOARD, {
-            commandId: ProblemsCommands.COPY.id,
-            label: nls_1.nls.localizeByDefault('Copy'),
-            order: '0'
-        });
-        menus.registerMenuAction(ProblemsMenu.CLIPBOARD, {
-            commandId: ProblemsCommands.COPY_MESSAGE.id,
-            label: nls_1.nls.localizeByDefault('Copy Message'),
-            order: '1'
-        });
-        menus.registerMenuAction(ProblemsMenu.PROBLEMS, {
-            commandId: ProblemsCommands.COLLAPSE_ALL.id,
-            label: nls_1.nls.localizeByDefault('Collapse All'),
-            order: '2'
-        });
-    }
-    async registerToolbarItems(toolbarRegistry) {
-        toolbarRegistry.registerItem({
-            id: ProblemsCommands.COLLAPSE_ALL_TOOLBAR.id,
-            command: ProblemsCommands.COLLAPSE_ALL_TOOLBAR.id,
-            tooltip: nls_1.nls.localizeByDefault('Collapse All'),
-            priority: 0,
-        });
-        toolbarRegistry.registerItem({
-            id: ProblemsCommands.CLEAR_ALL.id,
-            command: ProblemsCommands.CLEAR_ALL.id,
-            tooltip: ProblemsCommands.CLEAR_ALL.label,
-            priority: 1,
-        });
-    }
-    async collapseAllProblems() {
-        const { model } = await this.widget;
-        const root = model.root;
-        const firstChild = root.children[0];
-        root.children.forEach(child => browser_1.CompositeTreeNode.is(child) && model.collapseAll(child));
-        if (browser_1.SelectableTreeNode.is(firstChild)) {
-            model.selectNode(firstChild);
-        }
-    }
-    addToClipboard(content) {
-        const handleCopy = (e) => {
-            document.removeEventListener('copy', handleCopy);
-            if (e.clipboardData) {
-                e.clipboardData.setData('text/plain', content);
-                e.preventDefault();
-            }
-        };
-        document.addEventListener('copy', handleCopy);
-        document.execCommand('copy');
-    }
-    copy(selection) {
-        const marker = selection.marker;
-        const serializedProblem = JSON.stringify({
-            resource: marker.uri,
-            owner: marker.owner,
-            code: marker.data.code,
-            severity: marker.data.severity,
-            message: marker.data.message,
-            source: marker.data.source,
-            startLineNumber: marker.data.range.start.line,
-            startColumn: marker.data.range.start.character,
-            endLineNumber: marker.data.range.end.line,
-            endColumn: marker.data.range.end.character
-        }, undefined, '\t');
-        this.addToClipboard(serializedProblem);
-    }
-    copyMessage(selection) {
-        const marker = selection.marker;
-        this.addToClipboard(marker.data.message);
-    }
-    withWidget(widget = this.tryGetWidget(), cb) {
-        if (widget instanceof problem_widget_1.ProblemWidget && widget.id === problem_widget_1.PROBLEMS_WIDGET_ID) {
-            return cb(widget);
-        }
-        return false;
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
-    __metadata("design:type", problem_manager_1.ProblemManager)
-], ProblemContribution.prototype, "problemManager", void 0);
-__decorate([
-    (0, inversify_1.inject)(status_bar_1.StatusBar),
-    __metadata("design:type", Object)
-], ProblemContribution.prototype, "statusBar", void 0);
-__decorate([
-    (0, inversify_1.inject)(selection_service_1.SelectionService),
-    __metadata("design:type", selection_service_1.SelectionService)
-], ProblemContribution.prototype, "selectionService", void 0);
-ProblemContribution = __decorate([
-    (0, inversify_1.injectable)(),
-    __metadata("design:paramtypes", [])
-], ProblemContribution);
-exports.ProblemContribution = ProblemContribution;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox 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 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.ProblemContribution = exports.ProblemsCommands = exports.ProblemsMenu = exports.PROBLEMS_CONTEXT_MENU = void 0;
+const debounce = require("@theia/core/shared/lodash.debounce");
+const inversify_1 = require("@theia/core/shared/inversify");
+const browser_1 = require("@theia/core/lib/browser");
+const status_bar_1 = require("@theia/core/lib/browser/status-bar/status-bar");
+const view_contribution_1 = require("@theia/core/lib/browser/shell/view-contribution");
+const problem_marker_1 = require("../../common/problem-marker");
+const problem_manager_1 = require("./problem-manager");
+const problem_widget_1 = require("./problem-widget");
+const command_1 = require("@theia/core/lib/common/command");
+const selection_service_1 = require("@theia/core/lib/common/selection-service");
+const problem_selection_1 = require("./problem-selection");
+const nls_1 = require("@theia/core/lib/common/nls");
+exports.PROBLEMS_CONTEXT_MENU = [problem_marker_1.PROBLEM_KIND];
+var ProblemsMenu;
+(function (ProblemsMenu) {
+    ProblemsMenu.CLIPBOARD = [...exports.PROBLEMS_CONTEXT_MENU, '1_clipboard'];
+    ProblemsMenu.PROBLEMS = [...exports.PROBLEMS_CONTEXT_MENU, '2_problems'];
+})(ProblemsMenu = exports.ProblemsMenu || (exports.ProblemsMenu = {}));
+var ProblemsCommands;
+(function (ProblemsCommands) {
+    ProblemsCommands.COLLAPSE_ALL = {
+        id: 'problems.collapse.all'
+    };
+    ProblemsCommands.COLLAPSE_ALL_TOOLBAR = {
+        id: 'problems.collapse.all.toolbar',
+        iconClass: (0, browser_1.codicon)('collapse-all')
+    };
+    ProblemsCommands.COPY = {
+        id: 'problems.copy'
+    };
+    ProblemsCommands.COPY_MESSAGE = {
+        id: 'problems.copy.message',
+    };
+    ProblemsCommands.CLEAR_ALL = command_1.Command.toLocalizedCommand({
+        id: 'problems.clear.all',
+        category: 'Problems',
+        label: 'Clear All',
+        iconClass: (0, browser_1.codicon)('clear-all')
+    }, 'theia/markers/clearAll', nls_1.nls.getDefaultKey('Problems'));
+})(ProblemsCommands = exports.ProblemsCommands || (exports.ProblemsCommands = {}));
+let ProblemContribution = class ProblemContribution extends view_contribution_1.AbstractViewContribution {
+    constructor() {
+        super({
+            widgetId: problem_widget_1.PROBLEMS_WIDGET_ID,
+            widgetName: nls_1.nls.localizeByDefault('Problems'),
+            defaultWidgetOptions: {
+                area: 'bottom'
+            },
+            toggleCommandId: 'problemsView:toggle',
+            toggleKeybinding: 'ctrlcmd+shift+m'
+        });
+        this.updateStatusBarElement = debounce(() => this.setStatusBarElement(this.problemManager.getProblemStat()), 10);
+    }
+    onStart(app) {
+        this.updateStatusBarElement();
+        this.problemManager.onDidChangeMarkers(this.updateStatusBarElement);
+    }
+    async initializeLayout(app) {
+        await this.openView();
+    }
+    setStatusBarElement(problemStat) {
+        this.statusBar.setElement('problem-marker-status', {
+            text: problemStat.infos <= 0
+                ? `$(codicon-error) ${problemStat.errors} $(codicon-warning) ${problemStat.warnings}`
+                : `$(codicon-error) ${problemStat.errors} $(codicon-warning) ${problemStat.warnings} $(codicon-info) ${problemStat.infos}`,
+            alignment: status_bar_1.StatusBarAlignment.LEFT,
+            priority: 10,
+            command: this.toggleCommand ? this.toggleCommand.id : undefined,
+            tooltip: this.getStatusBarTooltip(problemStat)
+        });
+    }
+    /**
+     * Get the tooltip to be displayed when hovering over the problem statusbar item.
+     * - Displays `No Problems` when no problems are present.
+     * - Displays a human-readable label which describes for each type of problem stat properties,
+     * their overall count and type when any one of these properties has a positive count.
+     * @param stat the problem stat describing the number of `errors`, `warnings` and `infos`.
+     *
+     * @return the tooltip to be displayed in the statusbar.
+     */
+    getStatusBarTooltip(stat) {
+        if (stat.errors <= 0 && stat.warnings <= 0 && stat.infos <= 0) {
+            return nls_1.nls.localizeByDefault('No Problems');
+        }
+        const tooltip = [];
+        if (stat.errors > 0) {
+            tooltip.push(nls_1.nls.localizeByDefault('{0} Errors', stat.errors));
+        }
+        if (stat.warnings > 0) {
+            tooltip.push(nls_1.nls.localizeByDefault('{0} Warnings', stat.warnings));
+        }
+        if (stat.infos > 0) {
+            tooltip.push(nls_1.nls.localizeByDefault('{0} Infos', stat.infos));
+        }
+        return tooltip.join(', ');
+    }
+    registerCommands(commands) {
+        super.registerCommands(commands);
+        commands.registerCommand(ProblemsCommands.COLLAPSE_ALL, {
+            execute: () => this.collapseAllProblems()
+        });
+        commands.registerCommand(ProblemsCommands.COLLAPSE_ALL_TOOLBAR, {
+            isEnabled: widget => this.withWidget(widget, () => true),
+            isVisible: widget => this.withWidget(widget, () => true),
+            execute: widget => this.withWidget(widget, () => this.collapseAllProblems())
+        });
+        commands.registerCommand(ProblemsCommands.COPY, new problem_selection_1.ProblemSelection.CommandHandler(this.selectionService, {
+            multi: false,
+            isEnabled: () => true,
+            isVisible: () => true,
+            execute: selection => this.copy(selection)
+        }));
+        commands.registerCommand(ProblemsCommands.COPY_MESSAGE, new problem_selection_1.ProblemSelection.CommandHandler(this.selectionService, {
+            multi: false,
+            isEnabled: () => true,
+            isVisible: () => true,
+            execute: selection => this.copyMessage(selection)
+        }));
+        commands.registerCommand(ProblemsCommands.CLEAR_ALL, {
+            isEnabled: widget => this.withWidget(widget, () => true),
+            isVisible: widget => this.withWidget(widget, () => true),
+            execute: widget => this.withWidget(widget, () => this.problemManager.cleanAllMarkers())
+        });
+    }
+    registerMenus(menus) {
+        super.registerMenus(menus);
+        menus.registerMenuAction(ProblemsMenu.CLIPBOARD, {
+            commandId: ProblemsCommands.COPY.id,
+            label: nls_1.nls.localizeByDefault('Copy'),
+            order: '0'
+        });
+        menus.registerMenuAction(ProblemsMenu.CLIPBOARD, {
+            commandId: ProblemsCommands.COPY_MESSAGE.id,
+            label: nls_1.nls.localizeByDefault('Copy Message'),
+            order: '1'
+        });
+        menus.registerMenuAction(ProblemsMenu.PROBLEMS, {
+            commandId: ProblemsCommands.COLLAPSE_ALL.id,
+            label: nls_1.nls.localizeByDefault('Collapse All'),
+            order: '2'
+        });
+    }
+    async registerToolbarItems(toolbarRegistry) {
+        toolbarRegistry.registerItem({
+            id: ProblemsCommands.COLLAPSE_ALL_TOOLBAR.id,
+            command: ProblemsCommands.COLLAPSE_ALL_TOOLBAR.id,
+            tooltip: nls_1.nls.localizeByDefault('Collapse All'),
+            priority: 0,
+        });
+        toolbarRegistry.registerItem({
+            id: ProblemsCommands.CLEAR_ALL.id,
+            command: ProblemsCommands.CLEAR_ALL.id,
+            tooltip: ProblemsCommands.CLEAR_ALL.label,
+            priority: 1,
+        });
+    }
+    async collapseAllProblems() {
+        const { model } = await this.widget;
+        const root = model.root;
+        const firstChild = root.children[0];
+        root.children.forEach(child => browser_1.CompositeTreeNode.is(child) && model.collapseAll(child));
+        if (browser_1.SelectableTreeNode.is(firstChild)) {
+            model.selectNode(firstChild);
+        }
+    }
+    addToClipboard(content) {
+        const handleCopy = (e) => {
+            document.removeEventListener('copy', handleCopy);
+            if (e.clipboardData) {
+                e.clipboardData.setData('text/plain', content);
+                e.preventDefault();
+            }
+        };
+        document.addEventListener('copy', handleCopy);
+        document.execCommand('copy');
+    }
+    copy(selection) {
+        const marker = selection.marker;
+        const serializedProblem = JSON.stringify({
+            resource: marker.uri,
+            owner: marker.owner,
+            code: marker.data.code,
+            severity: marker.data.severity,
+            message: marker.data.message,
+            source: marker.data.source,
+            startLineNumber: marker.data.range.start.line,
+            startColumn: marker.data.range.start.character,
+            endLineNumber: marker.data.range.end.line,
+            endColumn: marker.data.range.end.character
+        }, undefined, '\t');
+        this.addToClipboard(serializedProblem);
+    }
+    copyMessage(selection) {
+        const marker = selection.marker;
+        this.addToClipboard(marker.data.message);
+    }
+    withWidget(widget = this.tryGetWidget(), cb) {
+        if (widget instanceof problem_widget_1.ProblemWidget && widget.id === problem_widget_1.PROBLEMS_WIDGET_ID) {
+            return cb(widget);
+        }
+        return false;
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
+    __metadata("design:type", problem_manager_1.ProblemManager)
+], ProblemContribution.prototype, "problemManager", void 0);
+__decorate([
+    (0, inversify_1.inject)(status_bar_1.StatusBar),
+    __metadata("design:type", Object)
+], ProblemContribution.prototype, "statusBar", void 0);
+__decorate([
+    (0, inversify_1.inject)(selection_service_1.SelectionService),
+    __metadata("design:type", selection_service_1.SelectionService)
+], ProblemContribution.prototype, "selectionService", void 0);
+ProblemContribution = __decorate([
+    (0, inversify_1.injectable)(),
+    __metadata("design:paramtypes", [])
+], ProblemContribution);
+exports.ProblemContribution = ProblemContribution;
 //# sourceMappingURL=problem-contribution.js.map

package/lib/browser/problem/problem-decorations-provider.d.ts

@@ -1,19 +1,19 @@
-import URI from '@theia/core/lib/common/uri';
-import { Decoration, DecorationsProvider, DecorationsService } from '@theia/core/lib/browser/decorations-service';
-import { ProblemManager } from './problem-manager';
-import { FrontendApplicationContribution } from '@theia/core/lib/browser';
-import { CancellationToken, Emitter, Event } from '@theia/core';
-export declare class ProblemDecorationsProvider implements DecorationsProvider {
-    protected readonly problemManager: ProblemManager;
-    protected currentUris: URI[];
-    protected readonly onDidChangeEmitter: Emitter<URI[]>;
-    get onDidChange(): Event<URI[]>;
-    protected init(): void;
-    provideDecorations(uri: URI, token: CancellationToken): Decoration | Promise<Decoration | undefined> | undefined;
-}
-export declare class ProblemDecorationContribution implements FrontendApplicationContribution {
-    protected readonly decorationsService: DecorationsService;
-    protected readonly problemDecorationProvider: ProblemDecorationsProvider;
-    initialize(): void;
-}
+import URI from '@theia/core/lib/common/uri';
+import { Decoration, DecorationsProvider, DecorationsService } from '@theia/core/lib/browser/decorations-service';
+import { ProblemManager } from './problem-manager';
+import { FrontendApplicationContribution } from '@theia/core/lib/browser';
+import { CancellationToken, Emitter, Event } from '@theia/core';
+export declare class ProblemDecorationsProvider implements DecorationsProvider {
+    protected readonly problemManager: ProblemManager;
+    protected currentUris: URI[];
+    protected readonly onDidChangeEmitter: Emitter<URI[]>;
+    get onDidChange(): Event<URI[]>;
+    protected init(): void;
+    provideDecorations(uri: URI, token: CancellationToken): Decoration | Promise<Decoration | undefined> | undefined;
+}
+export declare class ProblemDecorationContribution implements FrontendApplicationContribution {
+    protected readonly decorationsService: DecorationsService;
+    protected readonly problemDecorationProvider: ProblemDecorationsProvider;
+    initialize(): void;
+}
 //# sourceMappingURL=problem-decorations-provider.d.ts.map