src/widgets/Slider.js
changeset 1021 7253d4d06f0d
parent 1013 392ddcd212d7
child 1068 7623f9af9272
--- a/src/widgets/Slider.js	Fri Oct 25 01:32:13 2013 +0200
+++ b/src/widgets/Slider.js	Thu Jan 02 16:54:22 2014 +0100
@@ -10,7 +10,7 @@
 
 IriSP.Widgets.Slider.prototype.defaults = {
     minimized_height : 4,
-    maximized_height : 10,
+    maximized_height : 4,
     minimize_timeout : 1500 /*  time before minimizing slider after mouseout,
                                 set to zero for fixed slider */
 };