Re-mark: student search is case-insensitive

christianp · christianp · commit 07baa02e2515 · 2024-11-21T13:46:32.000Z
diff --git a/numbas_lti/static/resource_remark.js b/numbas_lti/static/resource_remark.js
@@ -430,7 +430,7 @@ const app = createApp({
 
             const search = this.name_search.trim().toLowerCase();
             if(search != '') {
-                list = list.filter(attempt => `${attempt.user.full_name} ${attempt.user.identifier}`.includes(search));
+                list = list.filter(attempt => `${attempt.user.full_name} ${attempt.user.identifier}`.toLowerCase().includes(search));
             }
             return list;
         },

Original file line number	Diff line number	Diff line change
`@@ -430,7 +430,7 @@ const app = createApp({`
`430`	`430`
`431`	`431`	`const search = this.name_search.trim().toLowerCase();`
`432`	`432`	`if(search != '') {`
`433`		- list = list.filter(attempt => `${attempt.user.full_name} ${attempt.user.identifier}`.includes(search));
	`433`	+ list = list.filter(attempt => `${attempt.user.full_name} ${attempt.user.identifier}`.toLowerCase().includes(search));
`434`	`434`	`}`
`435`	`435`	`return list;`
`436`	`436`	`},`