Ubuntu
mutter package

  1. Bug #1767648
  2. Comment #9

Comment 9 for bug 1767648

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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...