--- 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) {