I forgot to reply to the question about Gnome Shell extensions.
No, I have not installed any. The only ones I have are ones that were
installed as part of 19.04:
dpkg -l | grep -i gnome-shell
ii gnome-shell 3.32.0+git20190410-1ubuntu1
amd64 graphical shell for the GNOME desktop
ii gnome-shell-common 3.32.0+git20190410-1ubuntu1
all common files for the GNOME graphical shell
ii gnome-shell-extension-appindicator 28-1
all AppIndicator/KStatusNotifierItem support for GNOME Shell
ii gnome-shell-extension-desktop-icons 19.01.1-1
all desktop icon support for GNOME Shell
ii gnome-shell-extension-ubuntu-dock 64ubuntu7
all Ubuntu Dock for GNOME Shell
ii yaru-theme-gnome-shell 19.04.2
all Yaru GNOME Shell desktop theme from the Ubuntu Community
--
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/1827791
Title:
Dell XPS 13 9380 - Screen and input freezes / hangs temporarily
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1827791/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
