| 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 */ };