ded4586781
- the plan was to drop the frequent/all view switcher, thus sam didn't pay too much attention to the button styling for those. Sadly the view switcher remains, so we should keep the old subtle styling intact. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/979