The preferences will be shared with the window-list extension, so avoid mentioning a specific placement. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/344>
The preferences will be shared with the window-list extension, so avoid mentioning a specific placement. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/344>