mirror of
https://github.com/GitJournal/GitJournal.git
synced 2025-06-26 16:46:51 +08:00
Fix search delegate
This commit is contained in:
@ -66,6 +66,14 @@ class NoteSearchDelegate extends SearchDelegate<Note?> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
Widget buildView(BuildContext context, String query) {
|
Widget buildView(BuildContext context, String query) {
|
||||||
|
var fv = _buildFolderView(context, query);
|
||||||
|
|
||||||
|
return CustomScrollView(
|
||||||
|
slivers: [fv],
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
Widget _buildFolderView(BuildContext context, String query) {
|
||||||
// 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) {
|
||||||
|
Reference in New Issue
Block a user