Actually, maybe don't bother.
I think this may be a known bug:
https://bugzilla.gnome.org/show_bug.cgi?id=789050
** Also affects: mutter (Ubuntu)
Importance: Undecided
Status: New
** Also affects: mutter via
https://bugzilla.gnome.org/show_bug.cgi?id=789050
Importance: Unknown
Status: Unknown
** Changed in: gnome-shell (Ubuntu)
Status: New => Confirmed
** Changed in: mutter (Ubuntu)
Status: New => Confirmed
--
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/1767648
Title:
Top bar and shell dialogs are not displayed properly when zoom is
enabled
To manage notifications about this bug go to:
https://bugs.launchpad.net/mutter/+bug/1767648/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
