It's bugging me too. Unfortunately I don't know how long upstream will take to accept the fix.
I have discussed getting it into Ubuntu sooner than upstream but the Ubuntu developers with the power to do that seem to be too busy right now getting 18.10 released. Since this is a bug however, there is no policy preventing us from getting the fix into 18.10 and 18.04 after this release. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to mutter 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
