From 87e290d04099cd4e7b1ee0450e545c401f679044 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Thu, 11 Oct 2018 18:15:58 +0200 Subject: [PATCH] markers cleanup --- .../markers/electron-browser/markersModel.ts | 30 ------------------- 1 file changed, 30 deletions(-) diff --git a/src/vs/workbench/parts/markers/electron-browser/markersModel.ts b/src/vs/workbench/parts/markers/electron-browser/markersModel.ts index c641b020cdd..22128fadadb 100644 --- a/src/vs/workbench/parts/markers/electron-browser/markersModel.ts +++ b/src/vs/workbench/parts/markers/electron-browser/markersModel.ts @@ -96,17 +96,6 @@ export class MarkersModel { this.resourcesByUri = new Map(); } - // updateMarkers(callback: (updater: (resource: URI, markers: IMarker[]) => any) => void): void { - // callback((resource, markers) => { - // if (isFalsyOrEmpty(markers)) { - // this.resourcesByUri.delete(resource.toString()); - // } else { - // this.resourcesByUri.set(resource.toString(), this.createResource(resource, markers)); - // } - // }); - // this.cachedSortedResources = undefined; - // } - getResourceMarkers(resource: URI): ResourceMarkers | null { return this.resourcesByUri.get(resource.toString()) || null; } @@ -136,24 +125,6 @@ export class MarkersModel { this._onDidChange.fire(resource); } - // TODO@joao - // forEachFilteredResource(callback: (resource: ResourceMarkers) => any) { - // this._markersByResource.forEach(resource => { - // if (resource.filteredCount > 0) { - // callback(resource); - // } - // }); - // } - - // TODO@joao - // hasFilteredResources(): boolean { - // let res = false; - // this._markersByResource.forEach(resource => { - // res = res || resource.filteredCount > 0; - // }); - // return res; - // } - stats(): { total: number, filtered: number } { let total = 0; // let filtered = 0; @@ -161,7 +132,6 @@ export class MarkersModel { total += resource.markers.length; // filtered += resource.filteredCount; // TODO@joao }); - console.warn('stats not implemented'); // TODO@joao return { total, filtered: total }; } -- GitLab