Switch to gnome-extensions prefs on Gnome Shell 3.36

[askmrsinh]

On Gnome 3.36 gnome-shell-extension-prefs might not be installed by default.

[jonasmalacofilho]

This fixes the issue I was having with "Sensor Settings" where nothing would happen/open. Thanks!

But it seems that the preferred way for an extension to open its preferences is now ExtensionUtils.openPrefs().[1][2]

There was also a comment about gnome-extensions not always being available either, but I couldn't verify that (checked Arch and Ubuntu).

Also, the breaking changed apparently happened in 3.36.1, (EDIT) but ExtensionUtils.openPrefs() is only available from 3.36.2 forwards.

[1] Tudmotu/gnome-shell-extension-clipboard-indicator#203
[2] https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1163

[jonasmalacofilho]

Oh, in 3.36.1 ExtensionUtils.openPrefs() isn't yet available but gnome-shell-extension-prefs stops accepting an UUID.

To support 3.36.1 and, probably, 3.36.0 too (instead of only 3.36.2), I think we should stick with the solution proposed here and only change to the new D-Bus based method for GNOME 3.37.