src/vs/base/browser/ui/scrollbar/verticalScrollbar.ts/VerticalScrollbar/_updateScrollbarSize
class VerticalScrollbar:	protected _updateScrollbarSize(size: number): void {
		this.slider.setWidth(size);
	}