Function createFileInput

src/htmlutil.js:93–100

(name, id, oc)

};

var createFileInput = function(name, id, oc) {
    var input = crc('input', 'import', 'file', null, null, true);
    if (!input.inserted) {
        input.type = 'file';
        if (oc) input.addEventListener("change", oc);
    }
    return input;
};

var createTextarea = function(title, i, oc) {
    var s = cr('div', i.name, i.id, 'textarea');