views/submission/templates/shared/mark_list.html

@@ -27,12 +27,15 @@
             update_search_result = function()
             {
                 var searched = $( "#search_bar" ).val();
+                searched = searched.toLowerCase();
                 
                 for( var i = 0; i < marks_list.length; i++ )
                 {
                     var uuid = marks_list[ i ];
                     var filename = $( "#mark_" + uuid + "_filename" ).text();
                     
+                    filename = filename.toLowerCase();
+                    
                     if( filename.indexOf( searched ) >= 0 )
                     {
                         $( "#mark_" + uuid ).show();