src/vs/workbench/contrib/terminal/browser/xterm/markNavigationAddon.ts/MarkNavigationAddon/_scrollToMarker
class MarkNavigationAddon:	private _scrollToMarker(marker: IMarker, position: ScrollPosition, endMarker?: IMarker, hideDecoration?: boolean): void {
		if (!this._terminal) {
			return;
		}
		if (!this._isMarkerInViewport(this._terminal, marker)) {
			const line = this._getTargetScrollLine(this._terminal, marker, position);
			this._terminal.scrollToLine(line);
		}
		if (!hideDecoration) {
			this._registerTemporaryDecoration(marker, endMarker);
		}
	}