(Daniel, may I please kindly recommend that next time when one of the bugs contains all the information present in the other plus much-much more then mark it as duplicate the other way around, even if chronologically incorrect? IMO that's much more useful for continuing to work on it and hopefully getting it fixed eventually. Thanks!)
-- 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
