+
+ console.debug('filter_regex',user_regex,included,excluded, last_user_regex);
+};
+
+$('input[name=filter_regex]')
+.focusout( function(e) { filter_regex( this.value ) } )
+.keypress( function(e) {
+ // disable enter
+ var code = e.keyCode ? e.keyCode : e.which;
+ //console.debug('key code',code);
+ if ( code == 13 ) {
+ filter_regex( this.value );
+ return false;
+ } else {
+ return true;
+ }