if (query == '' && action == 'add') {
// restore all columns if explicitly adding all ("+")
filtercols(table, function(){return true}, 'add');
if (query == '' && action == 'add') {
// restore all columns if explicitly adding all ("+")
filtercols(table, function(){return true}, 'add');
if (/^[A-Z0-9 ]{2,}$/.test(query)) {
// category title if all uppercase
if (/^[A-Z0-9 ]{2,}$/.test(query)) {
// category title if all uppercase
- + "window.setTimeout(filtertable, 300, undefined, 'focus')",
+ + "window.setTimeout(filtertable, 300, undefined, 'focus')"
- newelement('input', {type:'submit', value:'filter'}),
+ newelement('input', {type:'submit', value:'filter'})