11

        // TODO decouple update of DOM from event (i.e use animate())

    14

        // TODO State of the button should distinguish UI feedbak from current PLC value

    16

        on_mouse_down(evt) {

    17

            if (this.active_style && this.inactive_style) {

    18

                this.active_elt.setAttribute("style", this.active_style);

    19

                this.inactive_elt.setAttribute("style", "display:none");

    20

            }

    21

            this.apply_hmi_value(0, 1);

    22

            // TODO inhibit all mouse/touch events except mouse up (in other word grab cursor)

    23

        }

    24

    25

        on_mouse_up(evt) {

    30

            this.apply_hmi_value(0, 0);

    31

            // TODO release inhibited events 

    32

        }

    34

        init() {

    35

           // TODO : move to widget_defs so that we can have generated string literals directly

    36

           this.active_style = this.active_elt ? this.active_elt.style.cssText : undefined;

    37

           this.inactive_style = this.inactive_elt ? this.inactive_elt.style.cssText : undefined;

    38

    39

           if (this.active_style && this.inactive_style) {

    40

               this.active_elt.setAttribute("style", "display:none");

    41

               this.inactive_elt.setAttribute("style", this.inactive_style);

    42

           }

    43

    44

           this.element.setAttribute("onmousedown", "hmi_widgets[\""+this.element_id+"\"].on_mouse_down(evt)");

    45

           this.element.setAttribute("onmouseup", "hmi_widgets[\""+this.element_id+"\"].on_mouse_up(evt)");

    46

        }