Package: gnome-shell-extension-dash-to-panel
Version: 31-1
Severity: important
Tags: bullseye sid
Control: block 954422 by -1
Forwarded: https://github.com/home-sweet-gnome/dash-to-panel/issues/936
GNOME Shell 3.36.x is currently in experimental, and should hopefully be
heading to unstable soon. Please check whether this extension is
compatible.
You'll probably want to add a Recommends or even Depends on
gnome-shell-extension-prefs, a new package split out from gnome-shell that
is meant to be taking over responsibility for enabling and disabling
extensions from gnome-tweaks (at the moment they both offer this,
but there's a gnome-tweaks merge request open to remove the duplicate
functionality).
One thing that is definitely not compatible is that this extension runs:
Util.spawn(["gnome-shell-extension-prefs", Me.metadata.uuid]);
This is no longer supported since GNOME Shell 3.36.1:
gnome-shell-extension-prefs no longer takes a UUID as a command-line
argument. Some of the Debian GNOME team have wondered whether it's
feasible to patch back in, but the code involved is surprisingly
extensive, so the answer might be no.
As far as I can tell from GNOME Shell's upstream commit history, the
preferred way to launch extension preferences in sufficiently recent
versions is to call imports.misc.extensionUtils.openPrefs(), which
was added by gnome-shell!1163. It isn't in 3.36.1, but the version
in experimental (which is halfway between upstream 3.36.1 and 3.36.2)
does have it.
To support older GNOME versions, fall back to the spawn call if
imports.misc.extensionUtils doesn't have an openPrefs method.
Sample code:
https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator/pull/203
Thanks,
smcv
