open-selector: improvements
- various fixes and cleanuup - refactoring - better items filtering - Case-insensitive highlighting of results - faster ( consolidation of some files's queries ) https://bugzilla.gnome.org/show_bug.cgi?id=742787
parent
5f30e6f3
Please register or sign in to comment