I have found that the presence of the counterpart "utilities- terminal.png" icons under /usr/share/icons/gnome fixes the use of the Humanity one (even though the ones under the "gnome" folder are unused), while removing them breaks it.
Could you guys please confirm if this is the same for you? sudo apt install gnome-icon-theme # fixes sudo apt purge gnome-icon-theme # breaks It's not even required to restart anything, just open a new gnome- terminal window, the icon updates for me to the correct/buggy size accordingly. -- 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
