Function select

docs/app/js/sanddance-app.js:142073–142097

* Generates a selection list input element.

(bind6, el, param, value3)

/**
 * Generates a selection list input element.
 */ function select(bind6, el, param, value3) {
    const node = element("select", {
        name: param.signal
    }), labels = param.labels || [];
    param.options.forEach((option, i)=>{
        const attr = {
            value: option
        };
        if (valuesEqual(option, value3)) attr.selected = true;
        node.appendChild(element("option", attr, (labels[i] || option) + ""));
    });
    el.appendChild(node);
    node.addEventListener("change", ()=>{
        bind6.update(param.options[node.selectedIndex]);
    });
    bind6.elements = [
        node
    ];
    bind6.set = (value)=>{
        for(let i = 0, n = param.options.length; i < n; ++i)if (valuesEqual(param.options[i], value)) {
            node.selectedIndex = i;
            return;
        }
    };
}
/**
 * Generates a radio button group.
 */ function radio(bind7, el, param, value4) {