109b8e8f38
Prohibiting spaces where the established GNOME style has required them for a decade would be a harsh change for no good reason. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/609