Function createPosition

src/htmlutil.js:312–330

(name, e, oc)

};

var createPosition = function(name, e, oc) {
    var s = cr('div', e.name, e.id, 'pos1');
    var b = cr('select', e.name, e.id, 'pos', true);
    for (var i=1; i<=e.posof; i++) {
        var o = cr('option', e.name, e.id, 'opt' + i);
        o.textContent = i;
        if (i == e.pos) o.selected = true;
        b.appendChild(o);
    }
    b.key = e.id;
    b.name = e.name;
    if (oc && !b.inserted) b.addEventListener("change", oc);

    var span = cr('span', e.name, e.id, 'pos2');
    span.textContent = name;
    s.appendChild(span);
    s.appendChild(b);
    return s;
};

var createSearchBox = function(tabURL) {
    var search = crc('div', 'searchbox', 'search_inner');