MarkersModel: bulk update/refresh of resources

src/vs/workbench/parts/markers/browser/markersPanel.ts

@@ -231,17 +231,20 @@ export class MarkersPanel extends Panel {
 	}
 
 	private updateResources(resources: URI[]) {
-		resources.forEach((resource) => {
-			let markers = this.markerService.read({ resource: resource }).slice(0);
-			this.markersModel.update(resource, markers);
+		const bulkUpdater = this.markersModel.getBulkUpdater();
+		for (const resource of resources) {
+			bulkUpdater.add(resource, this.markerService.read({ resource }));
+		}
+		bulkUpdater.done();
+		for (const resource of resources) {
 			if (!this.markersModel.hasResource(resource)) {
 				this.autoExpanded.unset(resource.toString());
 			}
-		});
+		}
 	}
 
 	private render(): void {
-		let allMarkers = this.markerService.read().slice(0);
+		let allMarkers = this.markerService.read();
 		this.markersModel.update(allMarkers);
 		this.tree.setInput(this.markersModel).then(this.autoExpand.bind(this));
 		dom.toggleClass(this.treeContainer, 'hidden', !this.markersModel.hasFilteredResources());

src/vs/workbench/parts/markers/common/markersModel.ts

@@ -14,6 +14,11 @@ import { IMarker, MarkerStatistics } from 'vs/platform/markers/common/markers';
 import {IFilter, IMatch, or, matchesContiguousSubString, matchesPrefix, matchesFuzzy} from 'vs/base/common/filters';
 import Messages from 'vs/workbench/parts/markers/common/messages';
 
+export interface BulkUpdater {
+	add(resource: URI, markers: IMarker[]);
+	done();
+}
+
 export class Resource {
 
 	private _name: string = null;
@@ -142,6 +147,17 @@ export class MarkersModel {
 		return this._nonFilteredResources;
 	}
 
+	public getBulkUpdater(): BulkUpdater {
+		return {
+			add: (resourceUri: URI, markers: IMarker[]) => {
+				this.updateResource(resourceUri, markers);
+			},
+			done: () => {
+				this.refresh();
+			}
+		};
+	}
+
 	public update(filterOptions: FilterOptions);
 	public update(resourceUri: URI, markers: IMarker[]);
 	public update(markers: IMarker[]);