Wait. Try this from Christian Persch. Commit from 5 days ago. https://github.com/GNOME/gnome- terminal/commit/887c8128d7c528660afa53fad9ae46e72ca7297c
On Mon, May 7, 2018 at 12:27 PM, Egmont Koblinger <egm...@gmail.com> wrote: > > There is a patch on gitHub for this about 3 days ago. > > Where exactly? > > -- > You received this bug notification because you are subscribed to a > duplicate bug report (1748785). > https://bugs.launchpad.net/bugs/1718238 > > Title: > Giant terminal icon is blocking out the Terminal window buttons > > Status in gnome-shell package in Ubuntu: > Confirmed > Status in mutter package in Ubuntu: > Confirmed > Status in ubuntu-themes package in Ubuntu: > Invalid > > Bug description: > Upstream: https://gitlab.gnome.org/GNOME/mutter/issues/23 > > ProblemType: Bug > DistroRelease: Ubuntu 17.10 > Package: light-themes 16.10+17.10.20170918-0ubuntu1 > ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10 > Uname: Linux 4.12.0-13-generic x86_64 > ApportVersion: 2.20.7-0ubuntu1 > Architecture: amd64 > CurrentDesktop: ubuntu:GNOME > Date: Tue Sep 19 12:47:51 2017 > InstallationDate: Installed on 2017-09-19 (0 days ago) > InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 > (20170917) > PackageArchitecture: all > SourcePackage: ubuntu-themes > UpgradeStatus: No upgrade log present (probably fresh install) > > To manage notifications about this bug go to: > https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+ > bug/1718238/+subscriptions > -- 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
