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? -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1807056 Title: Occasional Keyboard freeze To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1807056/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
