Here's a fix to mutter.
_NET_WM_ICON is read into mini_icon unscaled (so its documentation is
incorrect), preferably at size 16, but if that's not available (as in
the buggy case) then in whichever size is available (48 in our case).
Then when scaling is due to happen (the icon gets painted), the
reciprocal of the desired factor is applied. So instead of scaling by
1/3 (to downscale from the actual 48 to the desired 16), it's scaled by
3, resulting in 144.
Plus, the position is also incorrectly computed according to the pre-
scaled size rather than the scaled size.
---
The icon still looks somewhat different based on the presence/absence of
the supposedly irrelevant gnome-icon-theme package. This should need
further investigation, probably in GTK+ itself, but is no longer a huge
usability problem.
---
Could someone please figure out for me how to file an upstream Mutter
bug? This component is no longer present in GNOME bugzilla, even though
there were bugs filed just two weeks ago. Manually rewriting the URL
redirects me to gitlab.gnome.org. Trying to register there gives a 500.
** Also affects: mutter (Ubuntu)
Importance: Undecided
Status: New
** Patch added: "Mutter fix"
https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1718238/+attachment/5050595/+files/mutter-lp1718238-giant-terminal-icon.patch
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
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:
New
Status in ubuntu-themes package in Ubuntu:
Confirmed
Bug description:
file:///home/castilhos/Imagens/Captura%20de%20tela%20de%202017-09-19%2012-43-54.png
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
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
