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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1724250 Title: gnome-terminal graphic artifact Status in gnome-terminal package in Ubuntu: Confirmed Bug description: Opening gnome-terminal in Ubuntu 17.10 shows the terminal window with a graphic artifact on the right of the title bar, where the window buttons to minimize, maximize and close are. The window buttons are working so this is just a visual glitch and does not otherwise affect gnome-terminal functionalities. It does not matter whether the gnome-terminal window is maximized or not, the graphic artifact is always present and does not disappear hovering on it with the mouse. Other applications do not appear to be affected, only gnome-terminal. I'm using NVIDIA Corporation GM204M [GeForce GTX 970M] with the NVIDIA binary driver 384.90. See attached screenshot. ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-terminal 3.24.2-0ubuntu4 ProcVersionSignature: Ubuntu 4.13.0-16.19-generic 4.13.4 Uname: Linux 4.13.0-16-generic x86_64 NonfreeKernelModules: nvidia_uvm nvidia_drm nvidia_modeset nvidia ApportVersion: 2.20.7-0ubuntu3 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Tue Oct 17 15:37:42 2017 InstallationDate: Installed on 2017-10-01 (15 days ago) InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170926) SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1724250/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
