Comment 13 for bug 1724250

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

I can reproduce the problem with plenty of other names taken from the Humanity theme, such as "clock" or "gnome-panel-force-quit" instead of gnome-terminal's default "utilities-terminal".

The culprit really seems to be gnome-shell/mutter, or some library used by them.

So far I could only reproduce the problem with the Humanity icon theme, although I haven't really tried other themes (only Adwaita a bit). It could even be that the icon theme ships something wrong.

The problem is present both with the "Ubuntu on Xorg" (Ubuntu flavor of gnome-shell experience) as well as "GNOME on Xorg" (default GNOME experience), provided that I switch the latter using gnome-tweak-tool to use the Humanity icon theme.