helpy4/bombsquad-plugin-manager
1
0
Fork 0
mirror of https://github.com/bombsquad-community/plugin-manager.git synced 2025-11-07 17:36:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix searching in plugin manager with capital letters

Browse source
This commit is contained in:
! Freaku 2024-02-22 01:04:52 +05:30 • committed by GitHub
parent acbc1bda2d
commit 4be6330733
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
plugin_manager.py
View file

@ -32,7 +32,7 @@ from threading import Thread
import logging
PLUGIN_MANAGER_VERSION = "1.0.6"
PLUGIN_MANAGER_VERSION = "1.0.7"
REPOSITORY_URL = "https://github.com/bombsquad-community/plugin-manager"
# Current tag can be changed to "staging" or any other branch in
# plugin manager repo for testing purpose.
@ -1752,7 +1752,7 @@ class PluginManagerWindow(bui.Window):
if self.selected_category is None:
continue
try:
await self.draw_plugin_names(self.selected_category, search_term=filter_text)
await self.draw_plugin_names(self.selected_category, search_term=filter_text.lower())
except CategoryDoesNotExist:
pass
# XXX: This may be more efficient, but we need a way to get a plugin's textwidget