BTW, we have fixed many gnome-shell bugs with these symptoms recently in
Ubuntu 18.04. So please try 18.04 and log a new bug if you have any
problems.
--
You received this bug notification because you are a member of Ubuntu
Desktop, which is subscribed to the bug report.
This bug is closed due to no response from the original reporter, so
please don't add further comments.
Everyone else should:
1. If using a release older than 18.04 then apply the workaround from
bug 994921 first.
2. Run: ubuntu-bug /var/crash/YOURFILE.crash
** Changed in: gnome-shell