
It's unused and was removed in commit a0467bf875
, which broke extensions
that rely on it in their preference widget.
As the removal only happened post-3.36.0, add it back until we branch.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2476
It's unused and was removed in commit a0467bf875
, which broke extensions
that rely on it in their preference widget.
As the removal only happened post-3.36.0, add it back until we branch.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2476