Function makeHeader

scripts/table_addSortTable.js:42–53

(tableNo, nCols)

      }

      function makeHeader(tableNo, nCols) {
        var header, headerCell, i;
        header = document.createElement("tr");
        for (i = 0; i < nCols; ++i) {
          headerCell = document.createElement("td");
          headerCell.appendChild(makeHeaderLink(tableNo, i, 1));
          headerCell.appendChild(document.createTextNode("/"));
          headerCell.appendChild(makeHeaderLink(tableNo, i, -1));
          header.appendChild(headerCell);
        }
        return header;
      }
      g_tables = toArray(document.getElementsByTagName("table"));
      if (!g_tables.length) alert("This page doesn't contain any tables.");
      (function () {