From 5888e25896c72c9bff7dd44ab538b78741a00de1 Mon Sep 17 00:00:00 2001 From: matthijsjanssens Date: Fri, 24 Jun 2022 14:20:02 +0100 Subject: [PATCH 1/2] Make node finder search bar case insensitive --- egui_node_graph/src/node_finder.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/egui_node_graph/src/node_finder.rs b/egui_node_graph/src/node_finder.rs index 5feaadc..d7ba03b 100644 --- a/egui_node_graph/src/node_finder.rs +++ b/egui_node_graph/src/node_finder.rs @@ -68,7 +68,7 @@ where .show(ui, |ui| { for kind in all_kinds.all_kinds() { let kind_name = kind.node_finder_label().to_string(); - if kind_name.contains(self.query.as_str()) { + if kind_name.to_lowercase().contains(self.query.to_lowercase().as_str()) { if ui.selectable_label(false, kind_name).clicked() { submitted_archetype = Some(kind); } else if query_submit { From f30e731a4c1b43830b6f63f3dd66ed61e8e560bd Mon Sep 17 00:00:00 2001 From: matthijsjanssens Date: Mon, 27 Jun 2022 22:02:49 +0100 Subject: [PATCH 2/2] Fix formatting --- egui_node_graph/src/node_finder.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/egui_node_graph/src/node_finder.rs b/egui_node_graph/src/node_finder.rs index d7ba03b..7f74080 100644 --- a/egui_node_graph/src/node_finder.rs +++ b/egui_node_graph/src/node_finder.rs @@ -68,7 +68,10 @@ where .show(ui, |ui| { for kind in all_kinds.all_kinds() { let kind_name = kind.node_finder_label().to_string(); - if kind_name.to_lowercase().contains(self.query.to_lowercase().as_str()) { + if kind_name + .to_lowercase() + .contains(self.query.to_lowercase().as_str()) + { if ui.selectable_label(false, kind_name).clicked() { submitted_archetype = Some(kind); } else if query_submit {