+var filterupdate;
+
function filtercell(el, set, action) {
switch (action) {
case 'focus':
}
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',