[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-06 Thread Egmont Koblinger
*** This bug is a duplicate of bug 1718238 *** https://bugs.launchpad.net/bugs/1718238 Investigation continuing in bug #1718238... -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-05 Thread Egmont Koblinger
*** This bug is a duplicate of bug 1718238 *** https://bugs.launchpad.net/bugs/1718238 Thanks, it's pretty clear now that the bug is present on X11 only. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-05 Thread Michael Vescovo
*** This bug is a duplicate of bug 1718238 *** https://bugs.launchpad.net/bugs/1718238 ok so my home machine says wayland and does not have the problem. So maybe something with x11. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-04 Thread Michael Vescovo
*** This bug is a duplicate of bug 1718238 *** https://bugs.launchpad.net/bugs/1718238 ok I can confirm that from my work machine turning the "application menu" on from gnome tweak tool fixes it. If I turn it off the artefact shows up again. It happens in real time as I toggle the switch. If

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-04 Thread Daniel van Vugt
*** This bug is a duplicate of bug 1718238 *** https://bugs.launchpad.net/bugs/1718238 Thank you for taking the time to report this bug and helping to make Ubuntu better. This particular bug has already been reported and is a duplicate of bug 1718238, so it is being marked as such. Please

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-04 Thread Egmont Koblinger
** Also affects: humanity-icon-theme (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1724250 Title: gnome-terminal graphic

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-04 Thread Mike Forsberg
I see the same thing. Is there a way to re-initialize to fix the icons? ** Attachment added: "A similar issue on my machine" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1724250/+attachment/5048816/+files/Screenshot%20from%202018-02-04%2011-27-12.png -- You received this

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-03 Thread Egmont Koblinger
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

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-03 Thread Egmont Koblinger
** Attachment added: "Screenshot of what I see" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1724250/+attachment/5047919/+files/lp1724250-small-icon.png -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-03 Thread Egmont Koblinger
So for a second I missed the fact that according to the GNOME bugreport, this bug is only present in Xorg, not in Wayland. (Michael, can this be the difference between your two computers?) For me, the behavior with the "Ubuntu on Xorg" choice when logging in is: The terminal icon is shown as the

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-03 Thread Egmont Koblinger
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

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-02-02 Thread Michael Vescovo
I'm not sure how to reply to individual comments but to add to comment #4, I am the person who reported this on askubuntu and the 4th button is the menu button. I use Gnome Tweaks and have "Application Menu" turned off under the "Top Bar" settings. I'm not on my work machine now so I can't see

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-01-23 Thread Egmont Koblinger
Yet another report of this bug, with further precious details and a screenshot revealing that the misdrawn icon is bigger than 128, maybe 140 or 144 or so pixels large: https://bugzilla.gnome.org/show_bug.cgi?id=787470 -- You received this bug notification because you are a member of Desktop

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-01-23 Thread Egmont Koblinger
The same bug is also reported at lp:1712660. ** Bug watch added: GNOME Bug Tracker #787470 https://bugzilla.gnome.org/show_bug.cgi?id=787470 -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-01-23 Thread Egmont Koblinger
Let's make it clear that it's absolutely most definitely not a bug in gnome-terminal. Gnome-terminal uses old-fashioned server-side decorations, that is, the window border is drawn by the window manager. There is no way gnome-terminal could legally ask it to draw something else there. The picture

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-01-23 Thread Egmont Koblinger
Does this also happen on other windows of gnome-terminal (e.g. Search->Find, Edit->Preferences, Edit->Profile Preferences, Help->About)? -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2018-01-23 Thread Egmont Koblinger
Another report of the same issue: https://askubuntu.com/questions/983629 /terminal-window-stuck-with-the-corner-of-another-window-drawn-on-it It's interesting that you have 4 buttons instead of 3 (and it's the same at that other report). Did you somehow add a 4th button? What and how exactly? Or

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2017-11-13 Thread Kim Phillips
exactly the same problem: it seems that the graphic file that is supposed to represent the terminal icon is not referencing the file with the right graphic for terminal? Note: vanilla 4.13.12 kernel, with NVIDIA Corporation GK107GL [Quadro K600] and the nvidia-387 driver. -- You received this

[Desktop-packages] [Bug 1724250] Re: gnome-terminal graphic artifact

2017-11-13 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-terminal (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu.