Add option to hide unsupported extension

[0x6e656b6f]

Hiding unsupported extension would make installing extension quicker and make the UI cleaner especially when your search query resulted in almost all unsupported extension.

[mjakeman]

Agreed, it's a poor user experience having many of the top results being uninstallable.

Unfortunately, this isn't trivial to do on the app-side as our search results come directly from EGO. There's an upstream issue tracking support for this: https://gitlab.gnome.org/Infrastructure/extensions-web/-/issues/176

If that gets implemented, I'll add the relevant bits here to support it. If there isn't any activity on that issue after our 0.3 release, I might have a crack at it myself.

[mjakeman]

This seems like it may actually be supported:

https://extensions.gnome.org/#shell_version=42

I wonder if we can use this.

[mjakeman]

We can access this information through the json API.

For example, to search for extensions compatible with 3.36 only:

https://extensions.gnome.org/extension-query/?search=terminal&shell_version=3.36

Let's aim to support this in 0.4, with unsupported extensions hidden by default.