mirror of
https://github.com/GitJournal/GitJournal.git
synced 2025-06-27 01:02:14 +08:00
@ -66,6 +66,9 @@ class NoteSearchDelegate extends SearchDelegate<Note> {
|
|||||||
// TODO: This should be made far more efficient
|
// TODO: This should be made far more efficient
|
||||||
var q = query.toLowerCase();
|
var q = query.toLowerCase();
|
||||||
var filteredNotes = notes.where((note) {
|
var filteredNotes = notes.where((note) {
|
||||||
|
if (note.title.toLowerCase().contains(q)) {
|
||||||
|
return true;
|
||||||
|
}
|
||||||
return note.body.toLowerCase().contains(q);
|
return note.body.toLowerCase().contains(q);
|
||||||
}).toList();
|
}).toList();
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user