8

        if(!this.opened) this.set_selection(value);

    21

        this.menu_offset = 0;

    23

        this.opened = false;

    24

    },

    25

    on_selection_click: function(selection) {

    26

        this.set_selection(selection);

    29

        if(this.opened){

    30

            this.close();

    31

        }else{

    32

            this.open();

    33

        }

    35

    set_selection: function(value) {

    36

        this.text_elt.firstElementChild.textContent = 

    37

          (value >= 0 && value < this.content.length) ?

    38

            this.content[value] : "?"+String(value)+"?";

    39

    },

    40

    grow_text: function(up_to) {

    41

        let count = 1;

    45

        this.lift = 0;

    46

        while(count < up_to) {

    47

            let next = first.cloneNode();

    48

            next.removeAttribute("y");

    49

            next.setAttribute("dy", "1.1em");

    50

            next.textContent = "...";

    51

            txt.appendChild(next);

    52

            let rect = txt.getBoundingClientRect();

    53

            if(rect.bottom > bounds.bottom){

    54

                let backup = first.getAttribute("dy");

    55

                first.setAttribute("dy", "-"+String((this.lift+1)*1.1)+"em");

    56

                rect = txt.getBoundingClientRect();

    57

                if(rect.top > bounds.top){

    58

                    this.lift += 1;

    59

                } else {

    60

                    if(backup)

    61

                        first.setAttribute("dy", backup);

    62

                    else

    63

                        first.removeAttribute("dy");

    64

                    txt.removeChild(next);

    65

                    return count;

    66

                }

    68

            count++;

    70

        return count;

    71

    },

    72

    close: function(){

    73

        this.reset_text();

    74

        this.reset_box();

    75

        this.opened = false;

    76

    },

    77

    set_complete_text: function(){

    78

        let spans = this.text_elt.children; 

    79

        let c = 0;

    80

        for(let item of this.content){

    81

            let span=spans[c];

    82

            span.textContent = item;

    83

            span.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_selection_click("+c+")");

    84

            c++;

    85

        }

    86

    },

    87

    set_partial_text: function(){

    88

        let spans = this.text_elt.children; 

    89

        let length = this.content.length;

    90

        let i = this.menu_offset, c = 0;

    91

        while(c < spans.length){

    92

            if(c == 0 && i != 0){

    93

                spans[c].textContent = "...";

    94

                /* TODO: set onclick */

    95

            }else if(c == spans.length-1 && i < length - 1)

    96

                spans[c].textContent = "...";

    97

                /* TODO: set onclick */

    98

            else{

    99

                let span=spans[c];

   100

                span.textContent = this.content[i];

   101

                /* TODO: set onclick */

   102

                span.setAttribute("onclick", "hmi_widgets['«$hmi_element/@id»'].on_selection_click("+i+")");

   103

                i++;

   104

            }

   105

            c++;

   106

        }

   109

        let length = this.content.length;

   110

        this.reset_text();

   111

        let slots = this.grow_text(length);

   112

        if(slots == length) {

   113

            this.set_complete_text();

   115

            this.set_partial_text();

   117

        this.adjust_box_to_text();

   118

        /* TODO disable interaction with background */

   119

        this.opened = true;

   121

    reset_text: function(){

   123

        let first = txt.firstElementChild;

   124

        first.removeAttribute("onclick");

   125

        first.removeAttribute("dy");

   130

    reset_box: function(){

   131

        let m = this.box_bbox;

   132

        let b = this.box_elt;

   133

        b.x.baseVal.value = m.x;

   134

        b.y.baseVal.value = m.y;

   135

        b.width.baseVal.value = m.width;

   136

        b.height.baseVal.value = m.height;

   137

    },

   138

    adjust_box_to_text: function(){

   141

        let b = this.box_elt;

   142

        b.x.baseVal.value = m.x - lmargin;

   143

        b.y.baseVal.value = m.y - tmargin;

   144

        b.width.baseVal.value = lmargin + m.width + rmargin;

   145

        b.height.baseVal.value = tmargin + m.height + bmargin;