mirror of
https://github.com/eliasstepanik/egui_node_graph.git
synced 2026-01-11 22:08:28 +00:00
Merge pull request #45 from matthijsjanssens/main
Make node finder search bar case insensitive
This commit is contained in:
commit
ddddc9ab9b
@ -68,7 +68,10 @@ 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