>>18145113Now with fancy checkbox
$("<style type='text/css'>#chat_line_list li{display:none;}</style>").appendTo("head");
showAll = false;
$("div#control_buttons").append('<input type="checkbox" id="dubs" checked> filter inputs')
$("#dubs").click( function() {
showAll = !showAll;
} )
setInterval(function(){
$('#chat_line_list li').each(function(){
var a=$(this);
var t=$.trim(a.text().split(':')[1]);
if(showAll){
a.show();
}
else if(!t.match(/^((up|down|left|right|a|b|start|select|anarchy|democracy?)(\d)?)+$/i)){
a.show();
}
});
$("#chat_lines").scrollTop(999999);
},100)
