1

// widget_scrollbar.ysl2

     2

widget_desc("ScrollBar") {

     3

    longdesc

     4

    || 

     5

    ScrollBar - svg:rect based scrollbar

     6

    ||

     7

     8

    shortdesc > ScrollBar

     9

    10

    path name="value" accepts="HMI_INT" > value

    11

    path name="range" accepts="HMI_INT" > range

    12

    path name="visible" accepts="HMI_INT" > visible

    13

    14

}

    15

    16

widget_class("ScrollBar") {

    17

    ||

    18

        frequency = 10;

    19

        position = undefined;

    20

        range = undefined;

    21

        size = undefined;

    22

        mincursize = 0.1;

    23

    24

        dispatch(value,oldval, index) {

    25

            switch(index) {

    26

                case 0:

    27

                    this.range = Math.max(1,value);

    28

                    break;

    29

                case 1:

    30

                    this.position = value;

    31

                    break;

    32

                case 2:

    33

                    this.size = value;

    34

                    break;

    35

            }

    36

    37

            this.request_animate();

    38

        }

    39

    40

        get_ratios() {

    41

            let range = this.range;

    42

            let size = Math.max(range * this.mincursize, Math.min(this.size, range));

    43

            let maxh = this.range_elt.height.baseVal.value;

    44

            let pixels = maxh;

    45

            return [size, maxh, range, pixels];

    46

        }

    47

    48

        animate(){

    49

            if(this.position == undefined || this.range == undefined || this.size == undefined)

    50

                return;

    51

            let [size, maxh, range, pixels] = this.get_ratios();

    52

    53

            let new_y = this.range_elt.y.baseVal.value + Math.round(Math.min(this.position,range-size) * pixels / range);

    54

            let new_height = Math.round(maxh * size/range);

    55

    56

            this.cursor_elt.y.baseVal.value = new_y;

    57

            this.cursor_elt.height.baseVal.value = new_height;

    58

        }

    59

    60

        init_mandatory() {

    61

            this.cursor_elt.onpointerdown = () => this.on_cursor_down();

    62

    63

            this.bound_drag = this.drag.bind(this);

    64

            this.bound_drop = this.drop.bind(this);

    65

        }

    66

    67

        apply_position(position){

    68

            this.position = Math.round(Math.max(Math.min(position, this.range - this.size), 0));

    69

            this.apply_hmi_value(1, this.position);

    70

        }

    71

    72

        on_page_click(is_up){

    73

            this.apply_position(is_up ? this.position-this.size

    74

                                      : this.position+this.size);

    75

        }

    76

    77

        on_cursor_down(e){

    78

            // get scrollbar -> root transform

    79

            let ctm = this.range_elt.getCTM();

    80

            // relative motion -> discard translation

    81

            ctm.e = 0;

    82

            ctm.f = 0;

    83

            // root -> scrollbar transform

    84

            this.invctm = ctm.inverse();

    85

            svg_root.addEventListener("pointerup", this.bound_drop, true);

    86

            svg_root.addEventListener("pointermove", this.bound_drag, true);

    87

            this.dragpos = this.position;

    88

        }

    89

    90

        drop(e) {

    91

            svg_root.removeEventListener("pointerup", this.bound_drop, true);

    92

            svg_root.removeEventListener("pointermove", this.bound_drag, true);

    93

        }

    94

    95

        drag(e) {

    96

            let [size, maxh, range, pixels] = this.get_ratios();

    97

            if(pixels == 0) return;

    98

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

    99

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

   100

            this.dragpos += movement * range / pixels;

   101

            this.apply_position(this.dragpos);

   102

        }

   103

    ||

   104

}

   105

   106

widget_defs("ScrollBar") {

   107

    labels("cursor range");

   108

   109

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

   110

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

   111

    value "$pagebuttons";

   112

   113

    |     init: function() {

   114

    |         this.init_mandatory();

   115

   116

    if "$have_pagebuttons" {

   117

    |         this.pageup_elt.onclick = () => this.on_page_click(true);

   118

    |         this.pagedown_elt.onclick = () => this.on_page_click(false);

   119

    }

   120

    |     },

   121

}