src/vs/editor/browser/controller/mouseHandler.ts/TopBottomDragScrolling/stop
class TopBottomDragScrolling:	public stop(): void {
		if (this._operation) {
			this._operation.dispose();
			this._operation = null;
		}
	}