@guido Oh, I guess I found it, I guess you meant this: https://gitlab.gnome.org/GNOME/mutter/merge_requests/62
I made a comment over there. This patch is buggy, this is the one that breaks my previous fix. The patch is shipped by Ubuntu, named theme-use-gtk_render_icon_suface- to-paint-button-icon.patch (intended to fix LP #1764558) inside mutter_3.28.1-1ubuntu1.debian.tar.xz. Ubuntu should drop (or fix) this broken patch to fix this problem. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1718238 Title: Giant terminal icon is blocking out the Terminal window buttons To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1718238/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
