From 26bcf972e681813d00abbe0603267ff4bebac311 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Scott=20Gonz=C3=A1lez?= <scott.gonzalez@gmail.com>
Date: Thu, 13 Oct 2011 16:47:01 -0400
Subject: [PATCH] Spinner: Fixed mousewheel stop timer.

---
 ui/jquery.ui.spinner.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/jquery.ui.spinner.js b/ui/jquery.ui.spinner.js
index b834dc2f4..be2aaa246 100644
--- a/ui/jquery.ui.spinner.js
+++ b/ui/jquery.ui.spinner.js
@@ -93,7 +93,7 @@ $.widget( "ui.spinner", {
 
 			this._spin( (delta > 0 ? 1 : -1) * this.options.step, event );
 			clearTimeout( this.mousewheelTimer );
-			this.mousewheelTimer = setTimeout(function() {
+			this.mousewheelTimer = this._delay(function() {
 				if ( this.spinning ) {
 					this._stop( event );
 				}
-- 
2.39.5