621
621
filetablethead_tr.setAttribute("class", "rowhead");
623
623
var filetablethead_th = document.createElement("th");
624
625
filetablethead_tr.appendChild(filetablethead_th);
625
626
filetablethead_th.setAttribute("class", "col-check");
626
627
filetablethead_th = dom_make_link_elem("th", "Filename",