@theia/markers 1.34.1 → 1.34.3

package/lib/browser/problem/problem-widget-tab-bar-decorator.d.ts

@@ -1,15 +1,15 @@
-import { Event, Emitter } from '@theia/core/lib/common/event';
-import { ProblemManager } from './problem-manager';
-import { TabBarDecorator } from '@theia/core/lib/browser/shell/tab-bar-decorator';
-import { Title, Widget } from '@theia/core/lib/browser';
-import { WidgetDecoration } from '@theia/core/lib/browser/widget-decoration';
-export declare class ProblemWidgetTabBarDecorator implements TabBarDecorator {
-    readonly id = "theia-problems-widget-tabbar-decorator";
-    protected readonly emitter: Emitter<void>;
-    protected readonly problemManager: ProblemManager;
-    protected init(): void;
-    decorate(title: Title<Widget>): WidgetDecoration.Data[];
-    get onDidChangeDecorations(): Event<void>;
-    protected fireDidChangeDecorations(): void;
-}
+import { Event, Emitter } from '@theia/core/lib/common/event';
+import { ProblemManager } from './problem-manager';
+import { TabBarDecorator } from '@theia/core/lib/browser/shell/tab-bar-decorator';
+import { Title, Widget } from '@theia/core/lib/browser';
+import { WidgetDecoration } from '@theia/core/lib/browser/widget-decoration';
+export declare class ProblemWidgetTabBarDecorator implements TabBarDecorator {
+    readonly id = "theia-problems-widget-tabbar-decorator";
+    protected readonly emitter: Emitter<void>;
+    protected readonly problemManager: ProblemManager;
+    protected init(): void;
+    decorate(title: Title<Widget>): WidgetDecoration.Data[];
+    get onDidChangeDecorations(): Event<void>;
+    protected fireDidChangeDecorations(): void;
+}
 //# sourceMappingURL=problem-widget-tab-bar-decorator.d.ts.map

package/lib/browser/problem/problem-widget-tab-bar-decorator.js

@@ -1,70 +1,70 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2020 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 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.ProblemWidgetTabBarDecorator = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const event_1 = require("@theia/core/lib/common/event");
-const problem_manager_1 = require("./problem-manager");
-let ProblemWidgetTabBarDecorator = class ProblemWidgetTabBarDecorator {
-    constructor() {
-        this.id = 'theia-problems-widget-tabbar-decorator';
-        this.emitter = new event_1.Emitter();
-    }
-    init() {
-        this.problemManager.onDidChangeMarkers(() => this.fireDidChangeDecorations());
-    }
-    decorate(title) {
-        if (title.owner.id === 'problems') {
-            const { infos, warnings, errors } = this.problemManager.getProblemStat();
-            const markerCount = infos + warnings + errors;
-            return markerCount > 0 ? [{ badge: markerCount }] : [];
-        }
-        else {
-            return [];
-        }
-    }
-    get onDidChangeDecorations() {
-        return this.emitter.event;
-    }
-    fireDidChangeDecorations() {
-        this.emitter.fire(undefined);
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
-    __metadata("design:type", problem_manager_1.ProblemManager)
-], ProblemWidgetTabBarDecorator.prototype, "problemManager", void 0);
-__decorate([
-    (0, inversify_1.postConstruct)(),
-    __metadata("design:type", Function),
-    __metadata("design:paramtypes", []),
-    __metadata("design:returntype", void 0)
-], ProblemWidgetTabBarDecorator.prototype, "init", null);
-ProblemWidgetTabBarDecorator = __decorate([
-    (0, inversify_1.injectable)()
-], ProblemWidgetTabBarDecorator);
-exports.ProblemWidgetTabBarDecorator = ProblemWidgetTabBarDecorator;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2020 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 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.ProblemWidgetTabBarDecorator = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const event_1 = require("@theia/core/lib/common/event");
+const problem_manager_1 = require("./problem-manager");
+let ProblemWidgetTabBarDecorator = class ProblemWidgetTabBarDecorator {
+    constructor() {
+        this.id = 'theia-problems-widget-tabbar-decorator';
+        this.emitter = new event_1.Emitter();
+    }
+    init() {
+        this.problemManager.onDidChangeMarkers(() => this.fireDidChangeDecorations());
+    }
+    decorate(title) {
+        if (title.owner.id === 'problems') {
+            const { infos, warnings, errors } = this.problemManager.getProblemStat();
+            const markerCount = infos + warnings + errors;
+            return markerCount > 0 ? [{ badge: markerCount }] : [];
+        }
+        else {
+            return [];
+        }
+    }
+    get onDidChangeDecorations() {
+        return this.emitter.event;
+    }
+    fireDidChangeDecorations() {
+        this.emitter.fire(undefined);
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(problem_manager_1.ProblemManager),
+    __metadata("design:type", problem_manager_1.ProblemManager)
+], ProblemWidgetTabBarDecorator.prototype, "problemManager", void 0);
+__decorate([
+    (0, inversify_1.postConstruct)(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", void 0)
+], ProblemWidgetTabBarDecorator.prototype, "init", null);
+ProblemWidgetTabBarDecorator = __decorate([
+    (0, inversify_1.injectable)()
+], ProblemWidgetTabBarDecorator);
+exports.ProblemWidgetTabBarDecorator = ProblemWidgetTabBarDecorator;
 //# sourceMappingURL=problem-widget-tab-bar-decorator.js.map

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

@@ -1,46 +1,46 @@
-/// <reference types="react" />
-import { ProblemManager } from './problem-manager';
-import { ProblemTreeModel } from './problem-tree-model';
-import { MarkerInfoNode, MarkerNode } from '../marker-tree';
-import { TreeWidget, TreeProps, ContextMenuRenderer, TreeNode, NodeProps, TreeModel, ApplicationShell } from '@theia/core/lib/browser';
-import { DiagnosticSeverity } from '@theia/core/shared/vscode-languageserver-protocol';
-import * as React from '@theia/core/shared/react';
-import { ProblemPreferences } from './problem-preferences';
-import { DisposableCollection } from '@theia/core/lib/common/disposable';
-export declare const PROBLEMS_WIDGET_ID = "problems";
-export declare class ProblemWidget extends TreeWidget {
-    readonly model: ProblemTreeModel;
-    protected readonly toDisposeOnCurrentWidgetChanged: DisposableCollection;
-    protected readonly preferences: ProblemPreferences;
-    protected readonly shell: ApplicationShell;
-    protected readonly problemManager: ProblemManager;
-    constructor(treeProps: TreeProps, model: ProblemTreeModel, contextMenuRenderer: ContextMenuRenderer);
-    protected init(): void;
-    protected updateFollowActiveEditor(): void;
-    protected followActiveEditor(): void;
-    protected autoRevealFromActiveEditor(): void;
-    storeState(): object;
-    protected superStoreState(): object;
-    restoreState(state: object): void;
-    protected superRestoreState(state: object): void;
-    protected tapNode(node?: TreeNode): void;
-    protected handleCopy(event: ClipboardEvent): void;
-    protected handleDown(event: KeyboardEvent): void;
-    protected handleUp(event: KeyboardEvent): void;
-    protected renderTree(model: TreeModel): React.ReactNode;
-    protected renderCaption(node: TreeNode, props: NodeProps): React.ReactNode;
-    protected renderTailDecorations(node: TreeNode, props: NodeProps): JSX.Element;
-    protected renderRemoveButton(node: TreeNode): React.ReactNode;
-    protected decorateMarkerNode(node: MarkerNode): React.ReactNode;
-    protected getSeverityClass(severity: DiagnosticSeverity): string;
-    protected decorateMarkerFileNode(node: MarkerInfoNode): React.ReactNode;
-}
-export declare class ProblemMarkerRemoveButton extends React.Component<{
-    model: ProblemTreeModel;
-    node: TreeNode;
-}> {
-    render(): React.ReactNode;
-    protected readonly remove: (e: React.MouseEvent<HTMLElement>) => void;
-    protected doRemove(e: React.MouseEvent<HTMLElement>): void;
-}
+/// <reference types="react" />
+import { ProblemManager } from './problem-manager';
+import { ProblemTreeModel } from './problem-tree-model';
+import { MarkerInfoNode, MarkerNode } from '../marker-tree';
+import { TreeWidget, TreeProps, ContextMenuRenderer, TreeNode, NodeProps, TreeModel, ApplicationShell } from '@theia/core/lib/browser';
+import { DiagnosticSeverity } from '@theia/core/shared/vscode-languageserver-protocol';
+import * as React from '@theia/core/shared/react';
+import { ProblemPreferences } from './problem-preferences';
+import { DisposableCollection } from '@theia/core/lib/common/disposable';
+export declare const PROBLEMS_WIDGET_ID = "problems";
+export declare class ProblemWidget extends TreeWidget {
+    readonly model: ProblemTreeModel;
+    protected readonly toDisposeOnCurrentWidgetChanged: DisposableCollection;
+    protected readonly preferences: ProblemPreferences;
+    protected readonly shell: ApplicationShell;
+    protected readonly problemManager: ProblemManager;
+    constructor(treeProps: TreeProps, model: ProblemTreeModel, contextMenuRenderer: ContextMenuRenderer);
+    protected init(): void;
+    protected updateFollowActiveEditor(): void;
+    protected followActiveEditor(): void;
+    protected autoRevealFromActiveEditor(): void;
+    storeState(): object;
+    protected superStoreState(): object;
+    restoreState(state: object): void;
+    protected superRestoreState(state: object): void;
+    protected tapNode(node?: TreeNode): void;
+    protected handleCopy(event: ClipboardEvent): void;
+    protected handleDown(event: KeyboardEvent): void;
+    protected handleUp(event: KeyboardEvent): void;
+    protected renderTree(model: TreeModel): React.ReactNode;
+    protected renderCaption(node: TreeNode, props: NodeProps): React.ReactNode;
+    protected renderTailDecorations(node: TreeNode, props: NodeProps): JSX.Element;
+    protected renderRemoveButton(node: TreeNode): React.ReactNode;
+    protected decorateMarkerNode(node: MarkerNode): React.ReactNode;
+    protected getSeverityClass(severity: DiagnosticSeverity): string;
+    protected decorateMarkerFileNode(node: MarkerInfoNode): React.ReactNode;
+}
+export declare class ProblemMarkerRemoveButton extends React.Component<{
+    model: ProblemTreeModel;
+    node: TreeNode;
+}> {
+    render(): React.ReactNode;
+    protected readonly remove: (e: React.MouseEvent<HTMLElement>) => void;
+    protected doRemove(e: React.MouseEvent<HTMLElement>): void;
+}
 //# sourceMappingURL=problem-widget.d.ts.map