@codingame/monaco-vscode-markers-service-override 11.1.2 → 12.0.0

package/vscode/src/vs/workbench/contrib/markers/browser/markersTreeViewer.js

@@ -1,4 +1,5 @@
-import { __decorate, __param } from 'vscode/external/tslib/tslib.es6.js';
+
+import { __decorate, __param } from 'vscode/external/tslib/tslib.es6';
 import { append, $, clearNode, addDisposableListener, EventType } from 'vscode/vscode/vs/base/browser/dom';
 import { dirname, basename as basename$1 } from 'vscode/vscode/vs/base/common/path';
 import { CountBadge } from 'vscode/vscode/vs/base/browser/ui/countBadge/countBadge';
@@ -13,6 +14,7 @@ import { ActionBar } from 'vscode/vscode/vs/base/browser/ui/actionbar/actionbar'
 import { QuickFixAction, QuickFixActionViewItem } from './markersViewActions.js';
 import { ILabelService } from 'vscode/vscode/vs/platform/label/common/label.service';
 import { basename, isEqual } from 'vscode/vscode/vs/base/common/resources';
+import { TreeVisibility } from 'vscode/vscode/vs/base/browser/ui/tree/tree';
 import { FilterOptions } from './markersFilterOptions.js';
 import { Emitter } from 'vscode/vscode/vs/base/common/event';
 import { isUndefinedOrNull } from 'vscode/vscode/vs/base/common/types';
@@ -26,6 +28,7 @@ import { CodeActionTriggerSource, CodeActionKind } from 'vscode/vscode/vs/editor
 import { ACTIVE_GROUP } from 'vscode/vscode/vs/workbench/services/editor/common/editorService';
 import { IEditorService } from 'vscode/vscode/vs/workbench/services/editor/common/editorService.service';
 import { SeverityIcon } from 'vscode/vscode/vs/platform/severityIcon/browser/severityIcon';
+import { CodeActionTriggerType } from 'vscode/vscode/vs/editor/common/languages';
 import { IOpenerService } from 'vscode/vscode/vs/platform/opener/common/opener.service';
 import { Progress } from 'vscode/vscode/vs/platform/progress/common/progress';
 import { ActionViewItem } from 'vscode/vscode/vs/base/browser/ui/actionbar/actionViewItems';
@@ -34,10 +37,10 @@ import { registerIcon } from 'vscode/vscode/vs/platform/theme/common/iconRegistr
 import { Link } from 'vscode/vscode/vs/platform/opener/browser/link';
 import { ILanguageFeaturesService } from 'vscode/vscode/vs/editor/common/services/languageFeatures';
 import { IContextKeyService } from 'vscode/vscode/vs/platform/contextkey/common/contextkey.service';
-import { MarkersContextKeys } from 'vscode/vscode/vs/workbench/contrib/markers/common/markers';
+import { MarkersViewMode, MarkersContextKeys } from '@codingame/monaco-vscode-2448342b-297f-5823-9f41-f18eef0f6ee8-common/vscode/vs/workbench/contrib/markers/common/markers';
 import { unsupportedSchemas } from 'vscode/vscode/vs/platform/markers/common/markerService';
 import { defaultCountBadgeStyles } from 'vscode/vscode/vs/platform/theme/browser/defaultStyles';
-import Severity$1 from 'vscode/vscode/vs/base/common/severity';
+import Severity from 'vscode/vscode/vs/base/common/severity';
 import { getDefaultHoverDelegate } from 'vscode/vscode/vs/base/browser/ui/hover/hoverDelegateFactory';
 import { IHoverService } from 'vscode/vscode/vs/platform/hover/browser/hover.service';
 
@@ -46,7 +49,7 @@ let MarkersWidgetAccessibilityProvider = class MarkersWidgetAccessibilityProvide
         this.labelService = labelService;
     }
     getWidgetAriaLabel() {
-        return ( localize(10305, "Problems View"));
+        return localize(7086, "Problems View");
     }
     getAriaLabel(element) {
         if (element instanceof ResourceMarkers) {
@@ -62,9 +65,15 @@ let MarkersWidgetAccessibilityProvider = class MarkersWidgetAccessibilityProvide
         return null;
     }
 };
-MarkersWidgetAccessibilityProvider = ( (__decorate([
-    ( (__param(0, ILabelService)))
-], MarkersWidgetAccessibilityProvider)));
+MarkersWidgetAccessibilityProvider = ( __decorate([
+    ( __param(0, ILabelService))
+], MarkersWidgetAccessibilityProvider));
+var TemplateId;
+(function (TemplateId) {
+    TemplateId["ResourceMarkers"] = "rm";
+    TemplateId["Marker"] = "m";
+    TemplateId["RelatedInformation"] = "ri";
+})(TemplateId || (TemplateId = {}));
 class VirtualDelegate {
     static { this.LINE_HEIGHT = 22; }
     constructor(markersViewState) {
@@ -80,29 +89,35 @@ class VirtualDelegate {
     }
     getTemplateId(element) {
         if (element instanceof ResourceMarkers) {
-            return "rm" ;
+            return TemplateId.ResourceMarkers;
         }
         else if (element instanceof Marker) {
-            return "m" ;
+            return TemplateId.Marker;
         }
         else {
-            return "ri" ;
+            return TemplateId.RelatedInformation;
         }
     }
 }
+var FilterDataType;
+(function (FilterDataType) {
+    FilterDataType[FilterDataType["ResourceMarkers"] = 0] = "ResourceMarkers";
+    FilterDataType[FilterDataType["Marker"] = 1] = "Marker";
+    FilterDataType[FilterDataType["RelatedInformation"] = 2] = "RelatedInformation";
+})(FilterDataType || (FilterDataType = {}));
 class ResourceMarkersRenderer {
     constructor(labels, onDidChangeRenderNodeCount) {
         this.labels = labels;
-        this.renderedNodes = ( (new Map()));
-        this.disposables = ( (new DisposableStore()));
-        this.templateId = "rm" ;
+        this.renderedNodes = ( new Map());
+        this.disposables = ( new DisposableStore());
+        this.templateId = TemplateId.ResourceMarkers;
         onDidChangeRenderNodeCount(this.onDidChangeRenderNodeCount, this, this.disposables);
     }
     renderTemplate(container) {
         const resourceLabelContainer = append(container, $('.resource-label-container'));
         const resourceLabel = this.labels.create(resourceLabelContainer, { supportHighlights: true });
         const badgeWrapper = append(container, $('.count-badge-wrapper'));
-        const count = ( (new CountBadge(badgeWrapper, {}, defaultCountBadgeStyles)));
+        const count = ( new CountBadge(badgeWrapper, {}, defaultCountBadgeStyles));
         return { count, resourceLabel };
     }
     renderElement(node, _, templateData) {
@@ -117,7 +132,7 @@ class ResourceMarkersRenderer {
         const nodeRenders = this.renderedNodes.get(node.element) ?? [];
         const nodeRenderIndex = nodeRenders.findIndex(nodeRender => templateData === nodeRender);
         if (nodeRenderIndex < 0) {
-            throw ( (new Error('Disposing unknown resource marker')));
+            throw ( new Error('Disposing unknown resource marker'));
         }
         if (nodeRenders.length === 1) {
             this.renderedNodes.delete(node.element);
@@ -128,6 +143,7 @@ class ResourceMarkersRenderer {
     }
     disposeTemplate(templateData) {
         templateData.resourceLabel.dispose();
+        templateData.count.dispose();
     }
     onDidChangeRenderNodeCount(node) {
         const nodeRenders = this.renderedNodes.get(node.element);
@@ -149,17 +165,17 @@ let MarkerRenderer = class MarkerRenderer {
         this.hoverService = hoverService;
         this.instantiationService = instantiationService;
         this.openerService = openerService;
-        this.templateId = "m" ;
+        this.templateId = TemplateId.Marker;
     }
     renderTemplate(container) {
         const data = Object.create(null);
-        data.markerWidget = ( (new MarkerWidget(
+        data.markerWidget = ( new MarkerWidget(
             container,
             this.markersViewState,
             this.hoverService,
             this.openerService,
             this.instantiationService
-        )));
+        ));
         return data;
     }
     renderElement(node, _, templateData) {
@@ -169,17 +185,14 @@ let MarkerRenderer = class MarkerRenderer {
         templateData.markerWidget.dispose();
     }
 };
-MarkerRenderer = ( (__decorate([
-    ( (__param(1, IHoverService))),
-    ( (__param(2, IInstantiationService))),
-    ( (__param(3, IOpenerService)))
-], MarkerRenderer)));
-const expandedIcon = registerIcon('markers-view-multi-line-expanded', Codicon.chevronUp, ( localize(
-    10306,
-    'Icon indicating that multiple lines are shown in the markers view.'
-)));
+MarkerRenderer = ( __decorate([
+    ( __param(1, IHoverService)),
+    ( __param(2, IInstantiationService)),
+    ( __param(3, IOpenerService))
+], MarkerRenderer));
+const expandedIcon = registerIcon('markers-view-multi-line-expanded', Codicon.chevronUp, ( localize(7087, 'Icon indicating that multiple lines are shown in the markers view.')));
 const collapsedIcon = registerIcon('markers-view-multi-line-collapsed', Codicon.chevronDown, ( localize(
-    10307,
+    7088,
     'Icon indicating that multiple lines are collapsed in the markers view.'
 )));
 const toggleMultilineAction = 'problems.action.toggleMultiline';
@@ -203,10 +216,10 @@ class MarkerWidget extends Disposable {
         this.markersViewModel = markersViewModel;
         this._hoverService = _hoverService;
         this._openerService = _openerService;
-        this.disposables = this._register(( (new DisposableStore())));
-        this.actionBar = this._register(( (new ActionBar(append(parent, $('.actions')), {
+        this.disposables = this._register(( new DisposableStore()));
+        this.actionBar = this._register(( new ActionBar(append(parent, $('.actions')), {
             actionViewItemProvider: (action, options) => action.id === QuickFixAction.ID ? _instantiationService.createInstance(QuickFixActionViewItem, action, options) : undefined
-        }))));
+        })));
         this.iconContainer = append(parent, $(''));
         this.icon = append(this.iconContainer, $(''));
         this.messageAndDetailsContainer = append(parent, $('.marker-message-details-container'));
@@ -216,7 +229,7 @@ class MarkerWidget extends Disposable {
         this.actionBar.clear();
         this.disposables.clear();
         clearNode(this.messageAndDetailsContainer);
-        this.iconContainer.className = `marker-icon ${( (Severity$1.toString(MarkerSeverity.toSeverity(element.marker.severity))))}`;
+        this.iconContainer.className = `marker-icon ${( Severity.toString(MarkerSeverity.toSeverity(element.marker.severity)))}`;
         this.icon.className = `codicon ${SeverityIcon.className(MarkerSeverity.toSeverity(element.marker.severity))}`;
         this.renderQuickfixActionbar(element);
         this.renderMessageAndDetails(element, filterData);
@@ -243,22 +256,20 @@ class MarkerWidget extends Disposable {
         }
     }
     renderMultilineActionbar(marker, parent) {
-        const multilineActionbar = this.disposables.add(( (new ActionBar(append(parent, $('.multiline-actions')), {
+        const multilineActionbar = this.disposables.add(( new ActionBar(append(parent, $('.multiline-actions')), {
             actionViewItemProvider: (action, options) => {
                 if (action.id === toggleMultilineAction) {
-                    return (
-                         (new ToggleMultilineActionViewItem(undefined, action, { ...options, icon: true }))
-                    );
+                    return ( new ToggleMultilineActionViewItem(undefined, action, { ...options, icon: true }));
                 }
                 return undefined;
             }
-        }))));
+        })));
         this.disposables.add(toDisposable(() => multilineActionbar.dispose()));
         const viewModel = this.markersViewModel.getViewModel(marker);
         const multiline = viewModel && viewModel.multiline;
-        const action = ( (new Action(toggleMultilineAction)));
+        const action = ( new Action(toggleMultilineAction));
         action.enabled = !!viewModel && marker.lines.length > 1;
-        action.tooltip = multiline ? ( localize(10308, "Show message in single line")) : ( localize(10309, "Show message in multiple lines"));
+        action.tooltip = multiline ? ( localize(7089, "Show message in single line")) : ( localize(7090, "Show message in multiple lines"));
         action.class = ThemeIcon.asClassName(multiline ? expandedIcon : collapsedIcon);
         action.run = () => { if (viewModel) {
             viewModel.multiline = !viewModel.multiline;
@@ -275,7 +286,7 @@ class MarkerWidget extends Disposable {
         for (let index = 0; index < (multiline ? lines.length : 1); index++) {
             const lineElement = append(this.messageAndDetailsContainer, $('.marker-message-line'));
             const messageElement = append(lineElement, $('.marker-message'));
-            const highlightedLabel = this.disposables.add(( (new HighlightedLabel(messageElement))));
+            const highlightedLabel = this.disposables.add(( new HighlightedLabel(messageElement)));
             highlightedLabel.set(lines[index].length > 1000 ? `${lines[index].substring(0, 1000)}...` : lines[index], lineMatches[index]);
             if (lines[index] === '') {
                 lineElement.style.height = `${VirtualDelegate.LINE_HEIGHT}px`;
@@ -288,26 +299,26 @@ class MarkerWidget extends Disposable {
     renderDetails(marker, filterData, parent) {
         parent.classList.add('details-container');
         if (marker.source || marker.code) {
-            const source = this.disposables.add(( (new HighlightedLabel(append(parent, $('.marker-source'))))));
+            const source = this.disposables.add(( new HighlightedLabel(append(parent, $('.marker-source')))));
             const sourceMatches = filterData && filterData.sourceMatches || [];
             source.set(marker.source, sourceMatches);
             if (marker.code) {
                 if (typeof marker.code === 'string') {
-                    const code = this.disposables.add(( (new HighlightedLabel(append(parent, $('.marker-code'))))));
+                    const code = this.disposables.add(( new HighlightedLabel(append(parent, $('.marker-code')))));
                     const codeMatches = filterData && filterData.codeMatches || [];
                     code.set(marker.code, codeMatches);
                 }
                 else {
                     const container = $('.marker-code');
-                    const code = this.disposables.add(( (new HighlightedLabel(container))));
-                    const link = ( (marker.code.target.toString(true)));
-                    this.disposables.add(( (new Link(
+                    const code = this.disposables.add(( new HighlightedLabel(container)));
+                    const link = ( marker.code.target.toString(true));
+                    this.disposables.add(( new Link(
                         parent,
                         { href: link, label: container, title: link },
                         undefined,
                         this._hoverService,
                         this._openerService
-                    ))));
+                    )));
                     const codeMatches = filterData && filterData.codeMatches || [];
                     code.set(marker.code.value, codeMatches);
                 }
@@ -320,18 +331,18 @@ class MarkerWidget extends Disposable {
 let RelatedInformationRenderer = class RelatedInformationRenderer {
     constructor(labelService) {
         this.labelService = labelService;
-        this.templateId = "ri" ;
+        this.templateId = TemplateId.RelatedInformation;
     }
     renderTemplate(container) {
         const data = Object.create(null);
         append(container, $('.actions'));
         append(container, $('.icon'));
-        data.resourceLabel = ( (new HighlightedLabel(append(container, $('.related-info-resource')))));
+        data.resourceLabel = ( new HighlightedLabel(append(container, $('.related-info-resource'))));
         data.lnCol = append(container, $('span.marker-line'));
         const separator = append(container, $('span.related-info-resource-separator'));
         separator.textContent = ':';
         separator.style.paddingRight = '4px';
-        data.description = ( (new HighlightedLabel(append(container, $('.marker-description')))));
+        data.description = ( new HighlightedLabel(append(container, $('.marker-description'))));
         return data;
     }
     renderElement(node, _, templateData) {
@@ -348,9 +359,9 @@ let RelatedInformationRenderer = class RelatedInformationRenderer {
         templateData.description.dispose();
     }
 };
-RelatedInformationRenderer = ( (__decorate([
-    ( (__param(0, ILabelService)))
-], RelatedInformationRenderer)));
+RelatedInformationRenderer = ( __decorate([
+    ( __param(0, ILabelService))
+], RelatedInformationRenderer));
 class Filter {
     constructor(options) {
         this.options = options;
@@ -367,7 +378,7 @@ class Filter {
         }
     }
     filterResourceMarkers(resourceMarkers) {
-        if (( (unsupportedSchemas.has(resourceMarkers.resource.scheme)))) {
+        if (( unsupportedSchemas.has(resourceMarkers.resource.scheme))) {
             return false;
         }
         if (this.options.excludesMatcher.matches(resourceMarkers.resource)) {
@@ -379,10 +390,10 @@ class Filter {
         if (this.options.textFilter.text && !this.options.textFilter.negate) {
             const uriMatches = FilterOptions._filter(this.options.textFilter.text, basename(resourceMarkers.resource));
             if (uriMatches) {
-                return { visibility: true, data: { type: 0 , uriMatches: uriMatches || [] } };
+                return { visibility: true, data: { type: FilterDataType.ResourceMarkers, uriMatches: uriMatches || [] } };
             }
         }
-        return 2 ;
+        return TreeVisibility.Recurse;
     }
     filterMarker(marker, parentVisibility) {
         const matchesSeverity = this.options.showErrors && MarkerSeverity.Error === marker.marker.severity ||
@@ -401,14 +412,14 @@ class Filter {
         }
         const sourceMatches = marker.marker.source ? FilterOptions._filter(this.options.textFilter.text, marker.marker.source) : undefined;
         const codeMatches = marker.marker.code ? FilterOptions._filter(this.options.textFilter.text, typeof marker.marker.code === 'string' ? marker.marker.code : marker.marker.code.value) : undefined;
-        const matched = sourceMatches || codeMatches || ( (lineMatches.some(lineMatch => lineMatch.length > 0)));
+        const matched = sourceMatches || codeMatches || ( lineMatches.some(lineMatch => lineMatch.length > 0));
         if (matched && !this.options.textFilter.negate) {
-            return { visibility: true, data: { type: 1 , lineMatches, sourceMatches: sourceMatches || [], codeMatches: codeMatches || [] } };
+            return { visibility: true, data: { type: FilterDataType.Marker, lineMatches, sourceMatches: sourceMatches || [], codeMatches: codeMatches || [] } };
         }
-        if (matched && this.options.textFilter.negate && parentVisibility === 2 ) {
+        if (matched && this.options.textFilter.negate && parentVisibility === TreeVisibility.Recurse) {
             return false;
         }
-        if (!matched && this.options.textFilter.negate && parentVisibility === 2 ) {
+        if (!matched && this.options.textFilter.negate && parentVisibility === TreeVisibility.Recurse) {
             return true;
         }
         return parentVisibility;
@@ -421,12 +432,12 @@ class Filter {
         const messageMatches = FilterOptions._messageFilter(this.options.textFilter.text, basename$1(relatedInformation.raw.message));
         const matched = uriMatches || messageMatches;
         if (matched && !this.options.textFilter.negate) {
-            return { visibility: true, data: { type: 2 , uriMatches: uriMatches || [], messageMatches: messageMatches || [] } };
+            return { visibility: true, data: { type: FilterDataType.RelatedInformation, uriMatches: uriMatches || [], messageMatches: messageMatches || [] } };
         }
-        if (matched && this.options.textFilter.negate && parentVisibility === 2 ) {
+        if (matched && this.options.textFilter.negate && parentVisibility === TreeVisibility.Recurse) {
             return false;
         }
-        if (!matched && this.options.textFilter.negate && parentVisibility === 2 ) {
+        if (!matched && this.options.textFilter.negate && parentVisibility === TreeVisibility.Recurse) {
             return true;
         }
         return parentVisibility;
@@ -440,7 +451,7 @@ let MarkerViewModel = class MarkerViewModel extends Disposable {
         this.instantiationService = instantiationService;
         this.editorService = editorService;
         this.languageFeaturesService = languageFeaturesService;
-        this._onDidChange = this._register(( (new Emitter())));
+        this._onDidChange = this._register(( new Emitter()));
         this.onDidChange = this._onDidChange.event;
         this.modelPromise = null;
         this.codeActionsPromise = null;
@@ -487,13 +498,13 @@ let MarkerViewModel = class MarkerViewModel extends Disposable {
             if (model) {
                 if (!this.codeActionsPromise) {
                     this.codeActionsPromise = createCancelablePromise(cancellationToken => {
-                        return getCodeActions(this.languageFeaturesService.codeActionProvider, model, ( (new Range(
+                        return getCodeActions(this.languageFeaturesService.codeActionProvider, model, ( new Range(
                             this.marker.range.startLineNumber,
                             this.marker.range.startColumn,
                             this.marker.range.endLineNumber,
                             this.marker.range.endColumn
-                        ))), {
-                            type: 1 , triggerAction: CodeActionTriggerSource.ProblemsView, filter: { include: CodeActionKind.QuickFix }
+                        )), {
+                            type: CodeActionTriggerType.Invoke, triggerAction: CodeActionTriggerSource.ProblemsView, filter: { include: CodeActionKind.QuickFix }
                         }, Progress.None, cancellationToken).then(actions => {
                             return this._register(actions);
                         });
@@ -505,18 +516,16 @@ let MarkerViewModel = class MarkerViewModel extends Disposable {
         });
     }
     toActions(codeActions) {
-        return (
-             (codeActions.validActions.map(item => ( (new Action(
-                item.action.command ? item.action.command.id : item.action.title,
-                item.action.title,
-                undefined,
-                true,
-                () => {
-                    return this.openFileAtMarker(this.marker)
-                        .then(() => this.instantiationService.invokeFunction(applyCodeAction, item, ApplyCodeActionReason.FromProblemsView));
-                }
-            )))))
-        );
+        return ( codeActions.validActions.map(item => ( new Action(
+            item.action.command ? item.action.command.id : item.action.title,
+            item.action.title,
+            undefined,
+            true,
+            () => {
+                return this.openFileAtMarker(this.marker)
+                    .then(() => this.instantiationService.invokeFunction(applyCodeAction, item, ApplyCodeActionReason.FromProblemsView));
+            }
+        ))));
     }
     openFileAtMarker(element) {
         const { resource, selection } = { resource: element.resource, selection: element.range };
@@ -538,15 +547,13 @@ let MarkerViewModel = class MarkerViewModel extends Disposable {
         if (waitForModel) {
             if (!this.modelPromise) {
                 this.modelPromise = createCancelablePromise(cancellationToken => {
-                    return (
-                         (new Promise((c) => {
-                            this._register(this.modelService.onModelAdded(model => {
-                                if (isEqual(model.uri, this.marker.resource)) {
-                                    c(model);
-                                }
-                            }));
-                        }))
-                    );
+                    return ( new Promise((c) => {
+                        this._register(this.modelService.onModelAdded(model => {
+                            if (isEqual(model.uri, this.marker.resource)) {
+                                c(model);
+                            }
+                        }));
+                    }));
                 });
             }
             return this.modelPromise;
@@ -554,35 +561,35 @@ let MarkerViewModel = class MarkerViewModel extends Disposable {
         return Promise.resolve(null);
     }
 };
-MarkerViewModel = ( (__decorate([
-    ( (__param(1, IModelService))),
-    ( (__param(2, IInstantiationService))),
-    ( (__param(3, IEditorService))),
-    ( (__param(4, ILanguageFeaturesService)))
-], MarkerViewModel)));
+MarkerViewModel = ( __decorate([
+    ( __param(1, IModelService)),
+    ( __param(2, IInstantiationService)),
+    ( __param(3, IEditorService)),
+    ( __param(4, ILanguageFeaturesService))
+], MarkerViewModel));
 let MarkersViewModel = class MarkersViewModel extends Disposable {
-    constructor(multiline = true, viewMode = "tree" , contextKeyService, instantiationService) {
+    constructor(multiline = true, viewMode = MarkersViewMode.Tree, contextKeyService, instantiationService) {
         super();
         this.contextKeyService = contextKeyService;
         this.instantiationService = instantiationService;
-        this._onDidChange = this._register(( (new Emitter())));
+        this._onDidChange = this._register(( new Emitter()));
         this.onDidChange = this._onDidChange.event;
-        this._onDidChangeViewMode = this._register(( (new Emitter())));
+        this._onDidChangeViewMode = this._register(( new Emitter()));
         this.onDidChangeViewMode = this._onDidChangeViewMode.event;
-        this.markersViewStates = ( (new Map()));
-        this.markersPerResource = ( (new Map()));
+        this.markersViewStates = ( new Map());
+        this.markersPerResource = ( new Map());
         this.bulkUpdate = false;
         this.hoveredMarker = null;
-        this.hoverDelayer = ( (new Delayer(300)));
+        this.hoverDelayer = ( new Delayer(300));
         this._multiline = true;
-        this._viewMode = "tree" ;
+        this._viewMode = MarkersViewMode.Tree;
         this._multiline = multiline;
         this._viewMode = viewMode;
         this.viewModeContextKey = MarkersContextKeys.MarkersViewModeContextKey.bindTo(this.contextKeyService);
         this.viewModeContextKey.set(viewMode);
     }
     add(marker) {
-        if (!( (this.markersViewStates.has(marker.id)))) {
+        if (!( this.markersViewStates.has(marker.id))) {
             const viewModel = this.instantiationService.createInstance(MarkerViewModel, marker);
             const disposables = [viewModel];
             viewModel.multiline = this.multiline;
@@ -592,13 +599,13 @@ let MarkersViewModel = class MarkersViewModel extends Disposable {
                 }
             }, this, disposables);
             this.markersViewStates.set(marker.id, { viewModel, disposables });
-            const markers = this.markersPerResource.get(( (marker.resource.toString()))) || [];
+            const markers = this.markersPerResource.get(( marker.resource.toString())) || [];
             markers.push(marker);
-            this.markersPerResource.set(( (marker.resource.toString())), markers);
+            this.markersPerResource.set(( marker.resource.toString()), markers);
         }
     }
     remove(resource) {
-        const markers = this.markersPerResource.get(( (resource.toString()))) || [];
+        const markers = this.markersPerResource.get(( resource.toString())) || [];
         for (const marker of markers) {
             const value = this.markersViewStates.get(marker.id);
             if (value) {
@@ -609,7 +616,7 @@ let MarkersViewModel = class MarkersViewModel extends Disposable {
                 this.hoveredMarker = null;
             }
         }
-        this.markersPerResource.delete(( (resource.toString())));
+        this.markersPerResource.delete(( resource.toString()));
     }
     getViewModel(marker) {
         const value = this.markersViewStates.get(marker.id);
@@ -670,9 +677,9 @@ let MarkersViewModel = class MarkersViewModel extends Disposable {
         super.dispose();
     }
 };
-MarkersViewModel = ( (__decorate([
-    ( (__param(2, IContextKeyService))),
-    ( (__param(3, IInstantiationService)))
-], MarkersViewModel)));
+MarkersViewModel = ( __decorate([
+    ( __param(2, IContextKeyService)),
+    ( __param(3, IInstantiationService))
+], MarkersViewModel));
 
 export { Filter, MarkerRenderer, MarkerViewModel, MarkersViewModel, MarkersWidgetAccessibilityProvider, RelatedInformationRenderer, ResourceMarkersRenderer, VirtualDelegate };

package/vscode/src/vs/workbench/contrib/markers/browser/markersView.d.ts

@@ -0,0 +1,138 @@
+import { ITelemetryService } from "vscode/vscode/vs/platform/telemetry/common/telemetry.service";
+import { IEditorService } from "vscode/vscode/vs/workbench/services/editor/common/editorService.service";
+import { Marker, ResourceMarkers, MarkerElement, MarkerTableItem } from "./markersModel.js";
+import { IInstantiationService } from "vscode/vscode/vs/platform/instantiation/common/instantiation";
+import { MarkersFilters } from "./markersViewActions.js";
+import { IConfigurationService } from "vscode/vscode/vs/platform/configuration/common/configuration.service";
+import { IThemeService } from "vscode/vscode/vs/platform/theme/common/themeService.service";
+import { IStorageService } from "vscode/vscode/vs/platform/storage/common/storage.service";
+import { IContextKeyService } from "vscode/vscode/vs/platform/contextkey/common/contextkey.service";
+import { ITreeContextMenuEvent, ITreeEvent } from "vscode/vscode/vs/base/browser/ui/tree/tree";
+import { Event } from "vscode/vscode/vs/base/common/event";
+import { IOpenEvent } from "vscode/vscode/vs/platform/list/browser/listService";
+import { FilterOptions } from "./markersFilterOptions.js";
+import { IWorkspaceContextService } from "vscode/vscode/vs/platform/workspace/common/workspace.service";
+import { IContextMenuService } from "vscode/vscode/vs/platform/contextview/browser/contextView.service";
+import { IKeybindingService } from "vscode/vscode/vs/platform/keybinding/common/keybinding.service";
+import { IMarkerService } from "vscode/vscode/vs/platform/markers/common/markers.service";
+import { IViewPaneOptions, FilterViewPane } from "@codingame/monaco-vscode-65619f8f-0eab-5d8b-855a-43b6353fe527-common/vscode/vs/workbench/browser/parts/views/viewPane";
+import { IViewDescriptorService } from "vscode/vscode/vs/workbench/common/views.service";
+import { IOpenerService } from "vscode/vscode/vs/platform/opener/common/opener.service";
+import { IUriIdentityService } from "vscode/vscode/vs/platform/uriIdentity/common/uriIdentity.service";
+import { IMarkersView } from "./markers.js";
+import { ITableContextMenuEvent, ITableEvent } from "vscode/vscode/vs/base/browser/ui/table/table";
+import { MarkersViewMode } from "@codingame/monaco-vscode-2448342b-297f-5823-9f41-f18eef0f6ee8-common/vscode/vs/workbench/contrib/markers/common/markers";
+import { IHoverService } from "vscode/vscode/vs/platform/hover/browser/hover.service";
+export interface IProblemsWidget {
+    get contextKeyService(): IContextKeyService;
+    get onContextMenu(): Event<ITreeContextMenuEvent<MarkerElement | null>> | Event<ITableContextMenuEvent<MarkerTableItem>>;
+    get onDidChangeFocus(): Event<ITreeEvent<MarkerElement | null>> | Event<ITableEvent<MarkerTableItem>>;
+    get onDidChangeSelection(): Event<ITreeEvent<MarkerElement | null>> | Event<ITableEvent<MarkerTableItem>>;
+    get onDidOpen(): Event<IOpenEvent<MarkerElement | MarkerTableItem | undefined>>;
+    collapseMarkers(): void;
+    dispose(): void;
+    domFocus(): void;
+    filterMarkers(resourceMarkers: ResourceMarkers[], filterOptions: FilterOptions): void;
+    getFocus(): (MarkerElement | MarkerTableItem | null)[];
+    getHTMLElement(): HTMLElement;
+    getRelativeTop(location: MarkerElement | MarkerTableItem | null): number | null;
+    getSelection(): (MarkerElement | MarkerTableItem | null)[];
+    getVisibleItemCount(): number;
+    layout(height: number, width: number): void;
+    reset(resourceMarkers: ResourceMarkers[]): void;
+    revealMarkers(activeResource: ResourceMarkers | null, focus: boolean, lastSelectedRelativeTop: number): void;
+    setAriaLabel(label: string): void;
+    setMarkerSelection(selection?: Marker[], focus?: Marker[]): void;
+    toggleVisibility(hide: boolean): void;
+    update(resourceMarkers: ResourceMarkers[]): void;
+    updateMarker(marker: Marker): void;
+}
+export declare class MarkersView extends FilterViewPane implements IMarkersView {
+    private readonly editorService;
+    private readonly markerService;
+    private readonly workspaceContextService;
+    private readonly uriIdentityService;
+    private lastSelectedRelativeTop;
+    private currentActiveResource;
+    private readonly rangeHighlightDecorations;
+    private readonly markersModel;
+    private readonly filter;
+    private readonly onVisibleDisposables;
+    private widget;
+    private readonly widgetDisposables;
+    private widgetContainer;
+    private widgetIdentityProvider;
+    private widgetAccessibilityProvider;
+    private messageBoxContainer;
+    private ariaLabelElement;
+    readonly filters: MarkersFilters;
+    private currentHeight;
+    private currentWidth;
+    private readonly memento;
+    private readonly panelState;
+    private cachedFilterStats;
+    private currentResourceGotAddedToMarkersData;
+    private readonly markersViewModel;
+    readonly onDidChangeVisibility: Event<boolean>;
+    constructor(options: IViewPaneOptions, instantiationService: IInstantiationService, viewDescriptorService: IViewDescriptorService, editorService: IEditorService, configurationService: IConfigurationService, telemetryService: ITelemetryService, markerService: IMarkerService, contextKeyService: IContextKeyService, workspaceContextService: IWorkspaceContextService, contextMenuService: IContextMenuService, uriIdentityService: IUriIdentityService, keybindingService: IKeybindingService, storageService: IStorageService, openerService: IOpenerService, themeService: IThemeService, hoverService: IHoverService);
+    render(): void;
+    protected renderBody(parent: HTMLElement): void;
+    getTitle(): string;
+    protected layoutBodyContent(height?: number, width?: number): void;
+    focus(): void;
+    focusFilter(): void;
+    updateBadge(total: number, filtered: number): void;
+    checkMoreFilters(): void;
+    clearFilterText(): void;
+    showQuickFixes(marker: Marker): void;
+    openFileAtElement(element: any, preserveFocus: boolean, sideByside: boolean, pinned: boolean): boolean;
+    private refreshPanel;
+    private onDidChangeViewState;
+    private resetWidget;
+    private updateFilter;
+    private getDefaultViewMode;
+    private getFilesExcludeExpressions;
+    private getFilesExclude;
+    private getResourceMarkers;
+    private createMessageBox;
+    private createArialLabelElement;
+    private createWidget;
+    private createTable;
+    private createTree;
+    collapseAll(): void;
+    setMultiline(multiline: boolean): void;
+    setViewMode(viewMode: MarkersViewMode): void;
+    private onDidChangeMarkersViewVisibility;
+    private reInitialize;
+    private onDidChangeModel;
+    private onDidChangeViewMode;
+    private isCurrentResourceGotAddedToMarkersData;
+    private onActiveEditorChanged;
+    private setCurrentActiveEditor;
+    private onSelected;
+    private hasNoProblems;
+    private renderContent;
+    private renderMessage;
+    private renderFilterMessageForActiveFile;
+    private renderFilteredByFilterMessage;
+    private renderNoProblemsMessageForActiveFile;
+    private renderNoProblemsMessage;
+    private setAriaLabel;
+    private clearFilters;
+    private autoReveal;
+    private getResourceForCurrentActiveResource;
+    private updateRangeHighlights;
+    private highlightCurrentSelectedMarkerRange;
+    private onContextMenu;
+    private getMenuActions;
+    getFocusElement(): MarkerElement | undefined;
+    getFocusedSelectedElements(): MarkerElement[] | null;
+    getAllResourceMarkers(): ResourceMarkers[];
+    getFilterStats(): {
+        total: number;
+        filtered: number;
+    };
+    private toggleVisibility;
+    saveState(): void;
+    dispose(): void;
+}