[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-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