src/vs/base/common/scrollable.ts/SmoothScrollingOperation/dispose
class SmoothScrollingOperation:	public dispose(): void {
		if (this.animationFrameDisposable !== null) {
			this.animationFrameDisposable.dispose();
			this.animationFrameDisposable = null;
		}
	}