Просмотр исходного кода

Make finding resources case-insensitive

Daniele Bartolini 12 лет назад
Родитель
Сommit
550bb48de4
1 измененных файлов с 4 добавлено и 0 удалено
  1. 4 0
      tools/editors/resource-browser/resource-browser.py

+ 4 - 0
tools/editors/resource-browser/resource-browser.py

@@ -79,6 +79,10 @@ class ResourceBrowser:
 		# Strip leading and trailing spaces
 		# Strip leading and trailing spaces
 		search_text = self.m_filter_entry.get_text().strip()
 		search_text = self.m_filter_entry.get_text().strip()
 
 
+		# Make the find case-insensitive
+		name = name.lower()
+		search_text = search_text.lower()
+
 		if (search_text == ""):
 		if (search_text == ""):
 			return True
 			return True