src/vs/editor/contrib/gotoError/browser/gotoErrorWidget.ts/MarkerNavigationWidget/updateMarker
class MarkerNavigationWidget:	updateMarker(marker: IMarker): void {
		this._container.classList.remove('stale');
		this._message.update(marker);
	}