diff options
| author | Noshyaar <poommetee@protonmail.com> | 2018-01-01 18:42:37 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-01 18:42:37 +0700 |
| commit | 0ac7c0b1afb530076cca7fdc0ec152646eea9846 (patch) | |
| tree | 414234ae24c1943b06e41de15f5e40f3a26ced56 /editor | |
| parent | 8dcc28254c9695e9e13b3a1f4d7b2b3e97363dc3 (diff) | |
| parent | 03beb9ac7de87ef2fc0ea3c50c2217a0cbd48453 (diff) | |
Merge pull request #15101 from nounoursheureux/master
Make filesystem search case-insensitive
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/filesystem_dock.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/filesystem_dock.cpp b/editor/filesystem_dock.cpp index dce5a10d67..812379faca 100644 --- a/editor/filesystem_dock.cpp +++ b/editor/filesystem_dock.cpp @@ -403,12 +403,12 @@ void FileSystemDock::_search(EditorFileSystemDirectory *p_path, List<FileInfo> * _search(p_path->get_subdir(i), matches, p_max_items); } - String match = search_box->get_text(); + String match = search_box->get_text().to_lower(); for (int i = 0; i < p_path->get_file_count(); i++) { String file = p_path->get_file(i); - if (file.find(match) != -1) { + if (file.to_lower().find(match) != -1) { FileInfo fi; fi.name = file; |