+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) {
query = match[2];
}
+ if (query == '' && action == 'add') {
+ // restore all columns if explicitly adding all ("+")
+ filtercols(table, function(){return true}, 'add');
+ // continue to restore rows
+ }
if (/^[a-z_]+$/.test(query) && document.querySelector('.b-a-'+query)) {
// column if class b-a-* exists
var match = function(th) {
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',