I think in most cases the performance benefit from the patch is more important than being able to zoom the panel and panel menus. So this bug is the lesser evil on average, but I fully appreciate people who rely on zoom will disagree.
We're working to get the upstream fix fixed ASAP: https://gitlab.gnome.org/GNOME/mutter/merge_requests/52 I spent yesterday afternoon on it already... -- 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