src/vs/base/browser/ui/scrollbar/verticalScrollbar.ts/VerticalScrollbar/_updateSlider
class VerticalScrollbar:	protected _updateSlider(sliderSize: number, sliderPosition: number): void {
		this.slider.setHeight(sliderSize);
		this.slider.setTop(sliderPosition);
	}