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.
** Also affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Also affects: mutter (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1724250
Title:
gnome-terminal graphic artifact
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1724250/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
