Comment 23 for bug 1807056

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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:
   https://gitlab.gnome.org/GNOME/gnome-shell/issues
   and then tell us the new bug ID?