Further discussion: https://ubuntuforums.org/showthread.php?t=2403323
An update to gnome-shell (3.30.1-2ubuntu1) fixed the issue.
Further discussion: https:/ /ubuntuforums. org/showthread. php?t=2403323
An update to gnome-shell (3.30.1-2ubuntu1) fixed the issue.