After upgrading to Fedora 31 my Activities Overview (when I press
super) has no search bar. Typing something like 'terminal' and hitting enter also has no result, so it's not just a display issue. Everything else seems to be working find after the update. Is this configurable? A known bug? Something else?
gnome-shell version is 3.34.1.