Allow filtering for mixed case strings
authorJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)
committerJoey Schulze <joey@infodrom.org>
Thu, 1 Aug 2019 11:40:36 +0000 (13:40 +0200)
src/InfoCon/stempel/status.wml

index 8e4d8c7..3308c9a 100644 (file)
@@ -294,7 +294,7 @@ function toggle_checkbox(form, obj)
 function filter_change(e)
 {
     var form = $(this).attr('id').split('_')[1];
 function filter_change(e)
 {
     var form = $(this).attr('id').split('_')[1];
-    var filter = $('input#filter_'+form).val();
+    var filter = $('input#filter_'+form).val().toLowerCase();
 
     var cnum = 0;
     $('table#table_'+form+' tbody tr').not('.deleted').each(function(i,e){
 
     var cnum = 0;
     $('table#table_'+form+' tbody tr').not('.deleted').each(function(i,e){