Comment 34 for bug 1807056

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

Thanks. That's the answer to "caused by something that most other people don't have". Most Ubuntu users only encounter the community theme (now known as Yaru) where it is included in Ubuntu 18.10 and later.

I wonder - have you made any other changes to gnome-shell that other users typically wouldn't have?