Provide a Search Provider

[naipotato]

I'm really not sure if it's really possible. If not, I guess I will see this issue closed.

I think a search provider would be really useful for this app, so that you can type something like GtkButton and you can open the app directly in the class documentation.

It would save having to keep the app open all the time to search for specific documentation.

[AkshayWarrier]

We did briefly discuss about having a search provider for the app, I haven't looked much into it but I agree it would be very useful.

[sonnyp]

Shouldn't be too hard

• https://developer.gnome.org/documentation/tutorials/search-provider.html
• https://gitlab.gnome.org/Archive/gnome-documents/-/blob/master/src/shellSearchProvider.js

[AkshayWarrier]

Yep I had a look at these and did briefly start some work for it :)

[bilelmoussaoui]

Shouldn't be too hard

* https://developer.gnome.org/documentation/tutorials/search-provider.html

* https://gitlab.gnome.org/Archive/gnome-documents/-/blob/master/src/shellSearchProvider.js

there is also https://gitlab.gnome.org/GNOME/gnome-characters/-/blob/main/src/searchProvider.js?ref_type=heads which should be more modern than the gnome-documents implementation