+var filterupdate;
+
function filtercell(el, set, action) {
switch (action) {
case 'focus':
if (match(cell)) {
if (!matchloc) matchloc = [loc];
matchloc[1] = loc + cell.colSpan;
- filtercell(table.children.item(x+2), true, action); // colgroup
+ filtercell(table.children.item(x), true, action); // colgroup
}
}
var keep = matchloc && loc >= matchloc[0] && loc < matchloc[1];
}
function filtertable(query, action) {
+ filterupdate = undefined;
+ if (query === undefined) query = document.getElementById('search').q.value;
var table = document.getElementsByTagName('TABLE')[0];
if (!action) {
newelement('input', {
type: 'search',
name: 'q',
- onkeyup: "filtertable(this.value, 'focus')",
+ onkeyup: "if (!filterupdate) filterupdate = "
+ + "window.setTimeout(filtertable, 300, undefined, 'focus')",
}),
newelement('input', {
type: 'button',