In the buggy case, xprop only reports one icon of size 48. In the correct case, xprop reports 6 icons of sizes 22, 16, 48, 24, 32 and finally 48 again, all looking like taken from Humanity. (This isn't what I saw here a couple of days ago in the dup bugreport, I've no idea about the cause of this difference.)
Apart from these, the only differences in xprop's output are "bitmap id # to use for icon", "bitmap id # of mask for icon" and "_NET_WM_USER_TIME(CARDINAL)". Just as the visible icon itself, xprop's output is also not updated immediately when installing/removing gnome-icon-theme, only on certain operatons such as opening a new gnome-terminal tab or window (including Find, Preferences, About windows), or opening its Terminal menu. This makes me still heavily suspect that the icon is indeed taken from the "_NET_WM_ICON(CARDINAL)" X property. But then how do the files shipped by gnome-icon-theme come into the game??? I've double checked that gnome-terminal only performs the "gtk_window_set_default_icon_name (GNOME_TERMINAL_ICON_NAME)" once at startup, so it's not this call setting the X properties directly, but probably GTK+ doing it sometimes under the hood. This xprop thingy seems to be a dead end for investigation. We'd need to locate the exact piece of software displaying that icon (gnome-shell? mutter?) and start debugging that. -- You received this bug notification because you are a member of Ubuntu Touch seeded packages, which is subscribed to ubuntu-themes 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 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/~touch-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~touch-packages More help : https://help.launchpad.net/ListHelp
