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?
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?