src/js/widgets/sliderWidget.js
branchpopcorn-port
changeset 372 33a435f35597
parent 347 9c55d584d3a9
child 469 154c049e0c06
--- a/src/js/widgets/sliderWidget.js	Thu Dec 01 12:08:19 2011 +0100
+++ b/src/js/widgets/sliderWidget.js	Thu Dec 01 12:21:45 2011 +0100
@@ -107,8 +107,9 @@
 
 /* handles when the mouse leaves the slider */
 IriSP.SliderWidget.prototype.mouseOutHandler = function(event) {
- 
-  this.timeOutId = window.setTimeout(IriSP.wrap(this, this.minimizeOnTimeout), 3000);
+
+  this.timeOutId = window.setTimeout(IriSP.wrap(this, this.minimizeOnTimeout),
+                                     IriSP.widgetsDefaults.SliderWidget.minimize_period);
 };
 
 IriSP.SliderWidget.prototype.minimizeOnTimeout = function(event) {