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
>
I can not find it; wish I had saved it.
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. /bugs.launchpad .net/bugs/ 1718238 /gitlab. gnome.org/ GNOME/mutter/ issues/ 23 10.20170918- 0ubuntu1 ature: Ubuntu 4.12.0- 13.14-generic 4.12.10 ture: all /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ + +subscriptions
>
> Where exactly?
>
> --
> You received this bug notification because you are subscribed to a
> duplicate bug report (1748785).
> https:/
>
> 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:/
>
> ProblemType: Bug
> DistroRelease: Ubuntu 17.10
> Package: light-themes 16.10+17.
> ProcVersionSign
> 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)
> PackageArchitec
> SourcePackage: ubuntu-themes
> UpgradeStatus: No upgrade log present (probably fresh install)
>
> To manage notifications about this bug go to:
> https:/
> bug/1718238/
>