Silly me, instead of asking questions I should have tried it myself. Whereas the previous fix definitely fixed it (at least for me) on 17.10, it's indeed broken (again, in a somewhat different way: it's smaller now, 48x48) for me too on 18.04.
I'll try to take yet another look. -- 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/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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs