Sounds like a great workaround. But I have more questions :)
1. Please double-check again that uninstalling your extensions doesn't help. Because I still find it strange that other people don't report this bug so most likely it's caused by something that most other people don't have, like the extensions.
2. Can we assume that you have to use the mouse to get to the dash search?
Sounds like a great workaround. But I have more questions :)
1. Please double-check again that uninstalling your extensions doesn't help. Because I still find it strange that other people don't report this bug so most likely it's caused by something that most other people don't have, like the extensions.
2. Can we assume that you have to use the mouse to get to the dash search?
3. Can you please try live booting 19.04 (don't install it just boot from USB) and tell us if the same problem occurs? http:// cdimages. ubuntu. com/daily- live/current/
4. Can you please log the bug upstream with the Gnome Shell developers here: /gitlab. gnome.org/ GNOME/gnome- shell/issues
https:/
and then tell us the new bug ID?