Philippe Normand

Is this still an issue? The search provider seems to work here with 3.22

You can try to add 3.20.4 in metadata.json and cross your fingers :)

If it works without significant code change apart from the metadata.json change that's great. Otherwise I don't plan to maintain versions older than the current-more-or-less "stable" GNOME-Shell release.

To debug you need to run gnome-shell from a terminal: gnome-shell --replace You should then see some GJS errors in the output.

Is anyone still using this extension? Or trying to? :) Please read http://base-art.net/Articles/the-gnome-shell-gajim-extension-maintenance/

for the MediaPlayer, as it's based on GstPlayer (AFAIK), you could rely on the `error` signal, https://slomo.pages.freedesktop.org/rustdocs/gstreamer/gstreamer_player/struct.Player.html#method.connect_error

Ah that's done in the player, already, https://github.com/servo/media/blob/master/backends/gstreamer/src/player.rs#L565

For mocking you could use `audiotestsrc` and `videotestsrc` :)

Indeed :)

and #557