Comment 29 for bug 1718238

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 <email address hidden> 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
>