Comment 3 for bug 1696250

Revision history for this message
Jeremy BĂ­cha (jbicha) wrote :

If you want custom search results, you could write a GNOME Shell search provider. I think it's overkill here though.

https://developer.gnome.org/SearchProvider/