Michael, thanks, now I know how to get that fourth button. For me, a
small "terminal" icon appears there as expected.

In your askubuntu post the buttons are on the right, and _assuming_ that
the incorrectly sized icon's top left corner is placed at the desired
location, it _seems_ that the window manager intends to display 4(!)
rounded buttons and then as the 5th (from the right) the terminal icon.

In the screenshot from comment 8 the buttons are on the left, and it
seems to disprove this assumption. The relative offset of the 4th
rounded button and the giant icon is exactly (pixel-wise) the same in
the two cases.

However, this sounds so weird to me, because then in order to have this
faulty behavior, there would need to be 3 underlying issues:

- Incorrectly scale the icon;
- Not use the top left corner, but another reference point (maybe 1px to the 
right - off by one bug?) as the fixed point of scaling;
- Show a rounded button behind the icon for no apparent reason.

Do you have all Artful updates installed? I'm just wondering if maybe an
updated package has already fixed this issue.

-- 
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-terminal/+bug/1724250/+subscriptions

-- 
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to