src/vs/editor/browser/controller/mouseHandler.ts/TopBottomDragScrollingOperation/_tick
class TopBottomDragScrollingOperation:	private _tick(): number {
		const now = Date.now();
		const elapsed = now - this._lastTime;
		this._lastTime = now;
		return elapsed;
	}