8c792969bb
With the new position, the dash is now stronger connected to the app grid than it used to; reflect that by showing apps either in the grid or the dash, not both (except for non-favorite running apps). https://gitlab.gnome.org/Teams/Design/os-mockups/-/issues/88 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1580>