src/widgets/Slider.js
changeset 1021 7253d4d06f0d
parent 1013 392ddcd212d7
child 1068 7623f9af9272
equal deleted inserted replaced
1018:de1e7cf6bfc4 1021:7253d4d06f0d
     8 
     8 
     9 IriSP.Widgets.Slider.prototype = new IriSP.Widgets.Widget();
     9 IriSP.Widgets.Slider.prototype = new IriSP.Widgets.Widget();
    10 
    10 
    11 IriSP.Widgets.Slider.prototype.defaults = {
    11 IriSP.Widgets.Slider.prototype.defaults = {
    12     minimized_height : 4,
    12     minimized_height : 4,
    13     maximized_height : 10,
    13     maximized_height : 4,
    14     minimize_timeout : 1500 /*  time before minimizing slider after mouseout,
    14     minimize_timeout : 1500 /*  time before minimizing slider after mouseout,
    15                                 set to zero for fixed slider */
    15                                 set to zero for fixed slider */
    16 };
    16 };
    17 
    17 
    18 IriSP.Widgets.Slider.prototype.template =
    18 IriSP.Widgets.Slider.prototype.template =