src/vs/editor/contrib/gotoError/gotoError.ts/MarkerController/close
class MarkerController:	close(focusEditor: boolean = true): void {
		this._cleanUp();
		if (focusEditor) {
			this._editor.focus();
		}
	}