![Florian Müllner](/assets/img/avatar_default.png)
The prefs dialog is created on behalf of a particular extension. It's a bit silly to rely on getCurrentExtension() to access it, instead of just keeping track of it ourselves. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2832>