edgevoid/armorpaint
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Merge pull request #1549 from MathemanFlo/ImproveNodeSearch

Browse Source 
Make node search case insensitive
This commit is contained in:
Lubos Lenco
2023-03-17 11:47:23 +01:00
committed by GitHub
parent e062a7a231 3df33de043
commit 82987e97a2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
armorpaint/Sources/arm/ui/UINodes.hx
+1 -1
View File
@@ -466,7 +466,7 @@ class UINodes {
var first = true; var first = true;
UIMenu.draw(function(ui: Zui) { UIMenu.draw(function(ui: Zui) {
ui.fill(0, 0, ui._w / ui.SCALE(), ui.t.ELEMENT_H * 8, ui.t.SEPARATOR_COL); ui.fill(0, 0, ui._w / ui.SCALE(), ui.t.ELEMENT_H * 8, ui.t.SEPARATOR_COL);
var search = ui.textInput(searchHandle, "", Left, true, true); var search = ui.textInput(searchHandle, "", Left, true, true).toLowerCase();
ui.changed = false; ui.changed = false;
if (first) { if (first) {
first = false; first = false;