1 // widget_scrollbar.ysl2

     1 // widget_scrollbar.ysl2

     2 

     2 

     4     ||

     4     ||

     6         frequency = 10;

     5         frequency = 10;

     7         position = undefined;

     6         position = undefined;

     8         range = undefined;

     7         range = undefined;

     9         size = undefined;

     8         size = undefined;

    10         mincursize = 0.1;

     9         mincursize = 0.1;

    87             let point = new DOMPoint(e.movementX, e.movementY);

    86             let point = new DOMPoint(e.movementX, e.movementY);

    88             let movement = point.matrixTransform(this.invctm).y;

    87             let movement = point.matrixTransform(this.invctm).y;

    89             this.dragpos += movement * units / pixels;

    88             this.dragpos += movement * units / pixels;

    90             this.apply_position(this.dragpos);

    89             this.apply_position(this.dragpos);

    91         }

    90         }

    93     ||

    91     ||

    94 }

    92 }

    95 

    93 

    97     param "hmi_element";

    95     param "hmi_element";

    98     labels("cursor range");

    96     labels("cursor range");

    99 

    97 

   100     const "pagebuttons" optional_labels("pageup pagedown");

    98     const "pagebuttons" optional_labels("pageup pagedown");

   101     const "have_pagebuttons","string-length($pagebuttons)>0";

    99     const "have_pagebuttons","string-length($pagebuttons)>0";