src/vs/base/browser/ui/scrollbar/verticalScrollbar.ts/VerticalScrollbar/writeScrollPosition
class VerticalScrollbar:	public writeScrollPosition(target: INewScrollPosition, scrollPosition: number): void {
		target.scrollTop = scrollPosition;
	}