[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 I type "echo $XDG_SESSION_TYPE" it says x11. Not sure about my home
machine. I'll have to report back.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 look at
the other bug report to see if there is any missing information that you
can provide, or to see if there is a workaround for the bug.
Additionally, any further discussion regarding the bug should occur in
the other report. Feel free to continue to report any other bugs you may
find.


** This bug has been marked a duplicate of bug 1718238
   Giant terminal icon is blocking out the Terminal window buttons

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 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
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 what happens if I turn it back on or uninstall Gnome Tweaks.
I'll try it next week and report back. Having said that, I also use
Gnome Tweaks at home and don't see the issue here.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 there looks like part of a terminal icon, the one that's
shown e.g. in gnome-terminal's About dialog in 128x128. The misdrawn one
also seems to be of this size, however, scaled up from a lower
resolution.

The only way I can reasonably think of where the window manager takes
this icon from is the _NET_WM_ICON window property, as shown e.g. by the
xprop command. After you click on the desired window, by default it
prints a low-res variant of the picture to the terminal.

The output of "xprop -notype 32c _NET_WM_ICON" consists of two numbers:
the dimension, followed by that many numbers in the natural order, each
number encoding one pixel. E.g. for me the first two numbers are 32, 32,
and then the next 32^2 = 1024 numbers encode the icon in its smallest
size. Then it's followed by the same at size 48x48 (so far this
corresponds to the parameterless xprop command showing these two sizes).
and then it even starts printing at size 256x256 but the output stops
prematurely.

Look at e.g. https://unix.stackexchange.com/questions/48860/how-to-dump-
the-icon-of-a-running-x-program for how to convert these numbers to .pam
format. Then forget pamrgbatopng mentioned on that site, use
imagemagic's "convert" to convert to let's say .png.

gnome-terminal's source has a "gtk_window_set_default_icon_name
(GNOME_TERMINAL_ICON_NAME)", the latter constant being defined as
"utilities-terminal". A bit of strace'ing reveals that the About dialog
takes the picture from the Humanity theme.

Putting together the pieces we have so far: gnome-terminal installs
_NET_WM_ICON via the gtk_window_set_default_icon_name call, taking the
files /usr/share/icons/Humanity/apps/[size]/utilities-terminal.svg, at
sizes 32, 48, maybe 128, maybe 256; not sure if 256 fails now or when
querying, not sure whose fault that chopped output is, not sure if it's
relevant to our bug.

The picture incorrectly shown indeed suspiciously looks like Humanity's
utilities-terminal icon scaled up from 48 to 128.

The question is... Why does the window manager decide to even try to
show the icon, and why does it fail to properly do so...???

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 does it only
appear in gnome-terminal? What do those buttons do if you click on them?

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[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 Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs