@codingame/monaco-vscode-markers-service-override 4.0.0 → 4.1.0

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

@@ -1,477 +0,0 @@
-import { __decorate, __param } from '../../../../../../../external/tslib/tslib.es6.js';
-import { localizeWithPath } from 'vscode/vscode/vs/nls';
-import { append, $ as $$1, findParentWithClass } from 'vscode/vscode/vs/base/browser/dom';
-import { Event } from 'vscode/vscode/vs/base/common/event';
-import { DisposableStore, Disposable } from 'vscode/vscode/vs/base/common/lifecycle';
-import { IInstantiationService } from 'vscode/vscode/vs/platform/instantiation/common/instantiation';
-import { WorkbenchTable } from 'vscode/vscode/vs/platform/list/browser/listService';
-import { HighlightedLabel } from 'vscode/vscode/vs/base/browser/ui/highlightedlabel/highlightedLabel';
-import { MarkerTableItem, compareMarkersByUri, Marker } from './markersModel.js';
-import { MarkerSeverity } from 'vscode/vscode/vs/platform/markers/common/markers';
-import { SeverityIcon } from 'vscode/vscode/vs/platform/severityIcon/browser/severityIcon';
-import { ActionBar } from 'vscode/vscode/vs/base/browser/ui/actionbar/actionbar';
-import { ILabelService } from 'vscode/vscode/vs/platform/label/common/label';
-import { FilterOptions } from './markersFilterOptions.js';
-import { Link } from 'vscode/vscode/vs/platform/opener/browser/link';
-import { IOpenerService } from 'vscode/vscode/vs/platform/opener/common/opener';
-import { QuickFixAction, QuickFixActionViewItem } from './markersViewActions.js';
-import { DomEmitter } from 'vscode/vscode/vs/base/browser/event';
-import Messages from './messages.js';
-import { isUndefinedOrNull } from 'vscode/vscode/vs/base/common/types';
-import { Range } from 'vscode/vscode/vs/editor/common/core/range';
-import { unsupportedSchemas } from 'vscode/vscode/vs/platform/markers/common/markerService';
-import Severity$1 from 'vscode/vscode/vs/base/common/severity';
-
-var MarkerSeverityColumnRenderer_1, MarkerCodeColumnRenderer_1, MarkerFileColumnRenderer_1;
-const $ = $$1;
-let MarkerSeverityColumnRenderer = class MarkerSeverityColumnRenderer {
-    static { MarkerSeverityColumnRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'severity'; }
-    constructor(markersViewModel, instantiationService) {
-        this.markersViewModel = markersViewModel;
-        this.instantiationService = instantiationService;
-        this.templateId = MarkerSeverityColumnRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const severityColumn = append(container, $('.severity'));
-        const icon = append(severityColumn, $(''));
-        const actionBarColumn = append(container, $('.actions'));
-        const actionBar = ( new ActionBar(actionBarColumn, {
-            actionViewItemProvider: (action, options) => action.id === QuickFixAction.ID ? this.instantiationService.createInstance(QuickFixActionViewItem, action, options) : undefined
-        }));
-        return { actionBar, icon };
-    }
-    renderElement(element, index, templateData, height) {
-        const toggleQuickFix = (enabled) => {
-            if (!isUndefinedOrNull(enabled)) {
-                const container = findParentWithClass(templateData.icon, 'monaco-table-td');
-                container.classList.toggle('quickFix', enabled);
-            }
-        };
-        templateData.icon.title = ( MarkerSeverity.toString(element.marker.severity));
-        templateData.icon.className = `marker-icon ${( Severity$1.toString(MarkerSeverity.toSeverity(element.marker.severity)))} codicon ${SeverityIcon.className(MarkerSeverity.toSeverity(element.marker.severity))}`;
-        templateData.actionBar.clear();
-        const viewModel = this.markersViewModel.getViewModel(element);
-        if (viewModel) {
-            const quickFixAction = viewModel.quickFixAction;
-            templateData.actionBar.push([quickFixAction], { icon: true, label: false });
-            toggleQuickFix(viewModel.quickFixAction.enabled);
-            quickFixAction.onDidChange(({ enabled }) => toggleQuickFix(enabled));
-            quickFixAction.onShowQuickFixes(() => {
-                const quickFixActionViewItem = templateData.actionBar.viewItems[0];
-                if (quickFixActionViewItem) {
-                    quickFixActionViewItem.showQuickFixes();
-                }
-            });
-        }
-    }
-    disposeTemplate(templateData) { }
-};
-MarkerSeverityColumnRenderer = MarkerSeverityColumnRenderer_1 = ( __decorate([
-    ( __param(1, IInstantiationService))
-], MarkerSeverityColumnRenderer));
-let MarkerCodeColumnRenderer = class MarkerCodeColumnRenderer {
-    static { MarkerCodeColumnRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'code'; }
-    constructor(openerService) {
-        this.openerService = openerService;
-        this.templateId = MarkerCodeColumnRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const templateDisposable = ( new DisposableStore());
-        const codeColumn = append(container, $('.code'));
-        const sourceLabel = templateDisposable.add(( new HighlightedLabel(codeColumn)));
-        sourceLabel.element.classList.add('source-label');
-        const codeLabel = templateDisposable.add(( new HighlightedLabel(codeColumn)));
-        codeLabel.element.classList.add('code-label');
-        const codeLink = templateDisposable.add(( new Link(codeColumn, { href: '', label: '' }, {}, this.openerService)));
-        return { codeColumn, sourceLabel, codeLabel, codeLink, templateDisposable };
-    }
-    renderElement(element, index, templateData, height) {
-        templateData.codeColumn.classList.remove('code-label');
-        templateData.codeColumn.classList.remove('code-link');
-        if (element.marker.source && element.marker.code) {
-            if (typeof element.marker.code === 'string') {
-                templateData.codeColumn.classList.add('code-label');
-                templateData.codeColumn.title = `${element.marker.source} (${element.marker.code})`;
-                templateData.sourceLabel.set(element.marker.source, element.sourceMatches);
-                templateData.codeLabel.set(element.marker.code, element.codeMatches);
-            }
-            else {
-                templateData.codeColumn.classList.add('code-link');
-                templateData.codeColumn.title = `${element.marker.source} (${element.marker.code.value})`;
-                templateData.sourceLabel.set(element.marker.source, element.sourceMatches);
-                const codeLinkLabel = templateData.templateDisposable.add(( new HighlightedLabel($('.code-link-label'))));
-                codeLinkLabel.set(element.marker.code.value, element.codeMatches);
-                templateData.codeLink.link = {
-                    href: ( element.marker.code.target.toString()),
-                    title: ( element.marker.code.target.toString()),
-                    label: codeLinkLabel.element,
-                };
-            }
-        }
-        else {
-            templateData.codeColumn.title = '';
-            templateData.sourceLabel.set('-');
-        }
-    }
-    disposeTemplate(templateData) {
-        templateData.templateDisposable.dispose();
-    }
-};
-MarkerCodeColumnRenderer = MarkerCodeColumnRenderer_1 = ( __decorate([
-    ( __param(0, IOpenerService))
-], MarkerCodeColumnRenderer));
-class MarkerMessageColumnRenderer {
-    constructor() {
-        this.templateId = MarkerMessageColumnRenderer.TEMPLATE_ID;
-    }
-    static { this.TEMPLATE_ID = 'message'; }
-    renderTemplate(container) {
-        const columnElement = append(container, $('.message'));
-        const highlightedLabel = ( new HighlightedLabel(columnElement));
-        return { columnElement, highlightedLabel };
-    }
-    renderElement(element, index, templateData, height) {
-        templateData.columnElement.title = element.marker.message;
-        templateData.highlightedLabel.set(element.marker.message, element.messageMatches);
-    }
-    disposeTemplate(templateData) {
-        templateData.highlightedLabel.dispose();
-    }
-}
-let MarkerFileColumnRenderer = class MarkerFileColumnRenderer {
-    static { MarkerFileColumnRenderer_1 = this; }
-    static { this.TEMPLATE_ID = 'file'; }
-    constructor(labelService) {
-        this.labelService = labelService;
-        this.templateId = MarkerFileColumnRenderer_1.TEMPLATE_ID;
-    }
-    renderTemplate(container) {
-        const columnElement = append(container, $('.file'));
-        const fileLabel = ( new HighlightedLabel(columnElement));
-        fileLabel.element.classList.add('file-label');
-        const positionLabel = ( new HighlightedLabel(columnElement));
-        positionLabel.element.classList.add('file-position');
-        return { columnElement, fileLabel, positionLabel };
-    }
-    renderElement(element, index, templateData, height) {
-        const positionLabel = Messages.MARKERS_PANEL_AT_LINE_COL_NUMBER(element.marker.startLineNumber, element.marker.startColumn);
-        templateData.columnElement.title = `${this.labelService.getUriLabel(element.marker.resource, { relative: false })} ${positionLabel}`;
-        templateData.fileLabel.set(this.labelService.getUriLabel(element.marker.resource, { relative: true }), element.fileMatches);
-        templateData.positionLabel.set(positionLabel, undefined);
-    }
-    disposeTemplate(templateData) {
-        templateData.fileLabel.dispose();
-        templateData.positionLabel.dispose();
-    }
-};
-MarkerFileColumnRenderer = MarkerFileColumnRenderer_1 = ( __decorate([
-    ( __param(0, ILabelService))
-], MarkerFileColumnRenderer));
-class MarkerOwnerColumnRenderer {
-    constructor() {
-        this.templateId = MarkerOwnerColumnRenderer.TEMPLATE_ID;
-    }
-    static { this.TEMPLATE_ID = 'owner'; }
-    renderTemplate(container) {
-        const columnElement = append(container, $('.owner'));
-        const highlightedLabel = ( new HighlightedLabel(columnElement));
-        return { columnElement, highlightedLabel };
-    }
-    renderElement(element, index, templateData, height) {
-        templateData.columnElement.title = element.marker.owner;
-        templateData.highlightedLabel.set(element.marker.owner, element.ownerMatches);
-    }
-    disposeTemplate(templateData) {
-        templateData.highlightedLabel.dispose();
-    }
-}
-class MarkersTableVirtualDelegate {
-    constructor() {
-        this.headerRowHeight = MarkersTableVirtualDelegate.HEADER_ROW_HEIGHT;
-    }
-    static { this.HEADER_ROW_HEIGHT = 24; }
-    static { this.ROW_HEIGHT = 24; }
-    getHeight(item) {
-        return MarkersTableVirtualDelegate.ROW_HEIGHT;
-    }
-}
-let MarkersTable = class MarkersTable extends Disposable {
-    constructor(container, markersViewModel, resourceMarkers, filterOptions, options, instantiationService, labelService) {
-        super();
-        this.container = container;
-        this.markersViewModel = markersViewModel;
-        this.resourceMarkers = resourceMarkers;
-        this.filterOptions = filterOptions;
-        this.instantiationService = instantiationService;
-        this.labelService = labelService;
-        this._itemCount = 0;
-        this.table = this.instantiationService.createInstance(WorkbenchTable, 'Markers', this.container, ( new MarkersTableVirtualDelegate()), [
-            {
-                label: '',
-                tooltip: '',
-                weight: 0,
-                minimumWidth: 36,
-                maximumWidth: 36,
-                templateId: MarkerSeverityColumnRenderer.TEMPLATE_ID,
-                project(row) { return row; }
-            },
-            {
-                label: ( localizeWithPath(
-                    'vs/workbench/contrib/markers/browser/markersTable',
-                    'codeColumnLabel',
-                    "Code"
-                )),
-                tooltip: '',
-                weight: 1,
-                minimumWidth: 100,
-                maximumWidth: 300,
-                templateId: MarkerCodeColumnRenderer.TEMPLATE_ID,
-                project(row) { return row; }
-            },
-            {
-                label: ( localizeWithPath(
-                    'vs/workbench/contrib/markers/browser/markersTable',
-                    'messageColumnLabel',
-                    "Message"
-                )),
-                tooltip: '',
-                weight: 4,
-                templateId: MarkerMessageColumnRenderer.TEMPLATE_ID,
-                project(row) { return row; }
-            },
-            {
-                label: ( localizeWithPath(
-                    'vs/workbench/contrib/markers/browser/markersTable',
-                    'fileColumnLabel',
-                    "File"
-                )),
-                tooltip: '',
-                weight: 2,
-                templateId: MarkerFileColumnRenderer.TEMPLATE_ID,
-                project(row) { return row; }
-            },
-            {
-                label: ( localizeWithPath(
-                    'vs/workbench/contrib/markers/browser/markersTable',
-                    'sourceColumnLabel',
-                    "Source"
-                )),
-                tooltip: '',
-                weight: 1,
-                minimumWidth: 100,
-                maximumWidth: 300,
-                templateId: MarkerOwnerColumnRenderer.TEMPLATE_ID,
-                project(row) { return row; }
-            }
-        ], [
-            this.instantiationService.createInstance(MarkerSeverityColumnRenderer, this.markersViewModel),
-            this.instantiationService.createInstance(MarkerCodeColumnRenderer),
-            this.instantiationService.createInstance(MarkerMessageColumnRenderer),
-            this.instantiationService.createInstance(MarkerFileColumnRenderer),
-            this.instantiationService.createInstance(MarkerOwnerColumnRenderer),
-        ], options);
-        const list = this.table.domNode.querySelector('.monaco-list-rows');
-        const onRowHover = Event.chain(this._register(( new DomEmitter(list, 'mouseover'))).event, $ => ( ( $.map(
-            e => findParentWithClass(e.target, 'monaco-list-row', 'monaco-list-rows')
-        ))
-            .filter(((e) => !!e))
-            .map(e => parseInt(e.getAttribute('data-index')))));
-        const onListLeave = ( Event.map(this._register(( new DomEmitter(list, 'mouseleave'))).event, () => -1));
-        const onRowHoverOrLeave = Event.latch(Event.any(onRowHover, onListLeave));
-        const onRowPermanentHover = Event.debounce(onRowHoverOrLeave, (_, e) => e, 500);
-        this._register(onRowPermanentHover(e => {
-            if (e !== -1 && this.table.row(e)) {
-                this.markersViewModel.onMarkerMouseHover(this.table.row(e));
-            }
-        }));
-    }
-    get contextKeyService() {
-        return this.table.contextKeyService;
-    }
-    get onContextMenu() {
-        return this.table.onContextMenu;
-    }
-    get onDidOpen() {
-        return this.table.onDidOpen;
-    }
-    get onDidChangeFocus() {
-        return this.table.onDidChangeFocus;
-    }
-    get onDidChangeSelection() {
-        return this.table.onDidChangeSelection;
-    }
-    collapseMarkers() { }
-    domFocus() {
-        this.table.domFocus();
-    }
-    filterMarkers(resourceMarkers, filterOptions) {
-        this.filterOptions = filterOptions;
-        this.reset(resourceMarkers);
-    }
-    getFocus() {
-        const focus = this.table.getFocus();
-        return focus.length > 0 ? [...( focus.map(f => this.table.row(f)))] : [];
-    }
-    getHTMLElement() {
-        return this.table.getHTMLElement();
-    }
-    getRelativeTop(marker) {
-        return marker ? this.table.getRelativeTop(this.table.indexOf(marker)) : null;
-    }
-    getSelection() {
-        const selection = this.table.getSelection();
-        return selection.length > 0 ? [...( selection.map(i => this.table.row(i)))] : [];
-    }
-    getVisibleItemCount() {
-        return this._itemCount;
-    }
-    isVisible() {
-        return !this.container.classList.contains('hidden');
-    }
-    layout(height, width) {
-        this.container.style.height = `${height}px`;
-        this.table.layout(height, width);
-    }
-    reset(resourceMarkers) {
-        this.resourceMarkers = resourceMarkers;
-        const items = [];
-        for (const resourceMarker of this.resourceMarkers) {
-            for (const marker of resourceMarker.markers) {
-                if (( unsupportedSchemas.has(marker.resource.scheme))) {
-                    continue;
-                }
-                if (this.filterOptions.excludesMatcher.matches(marker.resource)) {
-                    continue;
-                }
-                if (this.filterOptions.includesMatcher.matches(marker.resource)) {
-                    items.push(( new MarkerTableItem(marker)));
-                    continue;
-                }
-                const matchesSeverity = this.filterOptions.showErrors && MarkerSeverity.Error === marker.marker.severity ||
-                    this.filterOptions.showWarnings && MarkerSeverity.Warning === marker.marker.severity ||
-                    this.filterOptions.showInfos && MarkerSeverity.Info === marker.marker.severity;
-                if (!matchesSeverity) {
-                    continue;
-                }
-                if (this.filterOptions.textFilter.text) {
-                    const sourceMatches = marker.marker.source ? FilterOptions._filter(this.filterOptions.textFilter.text, marker.marker.source) ?? undefined : undefined;
-                    const codeMatches = marker.marker.code ? FilterOptions._filter(this.filterOptions.textFilter.text, typeof marker.marker.code === 'string' ? marker.marker.code : marker.marker.code.value) ?? undefined : undefined;
-                    const messageMatches = FilterOptions._messageFilter(this.filterOptions.textFilter.text, marker.marker.message) ?? undefined;
-                    const fileMatches = FilterOptions._messageFilter(this.filterOptions.textFilter.text, this.labelService.getUriLabel(marker.resource, { relative: true })) ?? undefined;
-                    const ownerMatches = FilterOptions._messageFilter(this.filterOptions.textFilter.text, marker.marker.owner) ?? undefined;
-                    const matched = sourceMatches || codeMatches || messageMatches || fileMatches || ownerMatches;
-                    if ((matched && !this.filterOptions.textFilter.negate) || (!matched && this.filterOptions.textFilter.negate)) {
-                        items.push(( new MarkerTableItem(
-                            marker,
-                            sourceMatches,
-                            codeMatches,
-                            messageMatches,
-                            fileMatches,
-                            ownerMatches
-                        )));
-                    }
-                    continue;
-                }
-                items.push(( new MarkerTableItem(marker)));
-            }
-        }
-        this._itemCount = items.length;
-        this.table.splice(0, Number.POSITIVE_INFINITY, items.sort((a, b) => {
-            let result = MarkerSeverity.compare(a.marker.severity, b.marker.severity);
-            if (result === 0) {
-                result = compareMarkersByUri(a.marker, b.marker);
-            }
-            if (result === 0) {
-                result = Range.compareRangesUsingStarts(a.marker, b.marker);
-            }
-            return result;
-        }));
-    }
-    revealMarkers(activeResource, focus, lastSelectedRelativeTop) {
-        if (activeResource) {
-            const activeResourceIndex = this.resourceMarkers.indexOf(activeResource);
-            if (activeResourceIndex !== -1) {
-                if (this.hasSelectedMarkerFor(activeResource)) {
-                    const tableSelection = this.table.getSelection();
-                    this.table.reveal(tableSelection[0], lastSelectedRelativeTop);
-                    if (focus) {
-                        this.table.setFocus(tableSelection);
-                    }
-                }
-                else {
-                    this.table.reveal(activeResourceIndex, 0);
-                    if (focus) {
-                        this.table.setFocus([activeResourceIndex]);
-                        this.table.setSelection([activeResourceIndex]);
-                    }
-                }
-            }
-        }
-        else if (focus) {
-            this.table.setSelection([]);
-            this.table.focusFirst();
-        }
-    }
-    setAriaLabel(label) {
-        this.table.domNode.ariaLabel = label;
-    }
-    setMarkerSelection(selection, focus) {
-        if (this.isVisible()) {
-            if (selection && selection.length > 0) {
-                this.table.setSelection(( selection.map(m => this.findMarkerIndex(m))));
-                if (focus && focus.length > 0) {
-                    this.table.setFocus(( focus.map(f => this.findMarkerIndex(f))));
-                }
-                else {
-                    this.table.setFocus([this.findMarkerIndex(selection[0])]);
-                }
-                this.table.reveal(this.findMarkerIndex(selection[0]));
-            }
-            else if (this.getSelection().length === 0 && this.getVisibleItemCount() > 0) {
-                this.table.setSelection([0]);
-                this.table.setFocus([0]);
-                this.table.reveal(0);
-            }
-        }
-    }
-    toggleVisibility(hide) {
-        this.container.classList.toggle('hidden', hide);
-    }
-    update(resourceMarkers) {
-        for (const resourceMarker of resourceMarkers) {
-            const index = this.resourceMarkers.indexOf(resourceMarker);
-            this.resourceMarkers.splice(index, 1, resourceMarker);
-        }
-        this.reset(this.resourceMarkers);
-    }
-    updateMarker(marker) {
-        this.table.rerender();
-    }
-    findMarkerIndex(marker) {
-        for (let index = 0; index < this.table.length; index++) {
-            if (this.table.row(index).marker === marker.marker) {
-                return index;
-            }
-        }
-        return -1;
-    }
-    hasSelectedMarkerFor(resource) {
-        const selectedElement = this.getSelection();
-        if (selectedElement && selectedElement.length > 0) {
-            if (selectedElement[0] instanceof Marker) {
-                if (( resource.has(selectedElement[0].marker.resource))) {
-                    return true;
-                }
-            }
-        }
-        return false;
-    }
-};
-MarkersTable = ( __decorate([
-    ( __param(5, IInstantiationService)),
-    ( __param(6, ILabelService))
-], MarkersTable));
-
-export { MarkersTable };