This keeps the config in line with gjs, which added the option
in gjs@f7d3b5d4c8.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/411>
(cherry picked from commit 301017904b)
This keeps the config in line with gjs, which added the option
in gjs@f7d3b5d4c8.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/411>
(cherry picked from commit 301017904b)