mirror of
https://github.com/eliasstepanik/egui_node_graph.git
synced 2026-01-24 12:08:26 +00:00
Make node finder search bar case insensitive
This commit is contained in:
parent
008aa9ad5b
commit
5888e25896
@ -68,7 +68,7 @@ where
|
|||||||
.show(ui, |ui| {
|
.show(ui, |ui| {
|
||||||
for kind in all_kinds.all_kinds() {
|
for kind in all_kinds.all_kinds() {
|
||||||
let kind_name = kind.node_finder_label().to_string();
|
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() {
|
if ui.selectable_label(false, kind_name).clicked() {
|
||||||
submitted_archetype = Some(kind);
|
submitted_archetype = Some(kind);
|
||||||
} else if query_submit {
|
} else if query_submit {
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user