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>
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>