597
594
filetabletable.appendChild(filetabletbody);
598
595
filetabletbody.setAttribute("id", "files");
603
605
sidepanel.setAttribute("id", "sidepanel");
606
607
/* Now after the table "middle", there is a status bar */
607
611
var statusbar = document.createElement("div");
609
613
statusbar.setAttribute("id", "statusbar");