![Florian Müllner](/assets/img/avatar_default.png)
LaunchExtensionPrefs() was deprecated in commit fda938175e5d, so switch to the replacement. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1097
LaunchExtensionPrefs() was deprecated in commit fda938175e5d, so switch to the replacement. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1097