Fix source searching #8

Merged
Skittyblock merged 2 commits from search-fix into default 2022-09-07 01:23:50 +00:00
Skittyblock commented 2022-09-05 23:01:33 +00:00 (Migrated from github.com)
  • Make source searching case insensitive
  • Fix catalog title not hiding when searching an installed source name
- Make source searching case insensitive - Fix catalog title not hiding when searching an installed source name
Sign in to join this conversation.
No description provided.