src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/onActiveEditorChanged
class MarkersView:	private onActiveEditorChanged(): void {
		this.setCurrentActiveEditor();
		if (this.filters.activeFile) {
			this.refreshPanel();
		}
		this.autoReveal();
	}