d2dc072ba9
We currently copy the app icon menu behavior, which puts a separator between windows from the current workspace and windows from any other workspace. It is more useful to have the windows section appear as a clearly marked group, so drop the separator. https://gitlab.gnome.org/GNOME/gnome-shell/issues/968