Chris Rendle-Short
Chris Rendle-Short
Can confirm that this is a problem. `gsettings set org.gnome.Terminal.Legacy.Settings headerbar false` changes the header bar back to a title bar, but GTKTitleBar then fails to hide it.
Good point, I should have mentioned that I'm using Wayland. Haven't tested on Xorg.
Hmm, oh well. For now I'll continue to use a titlebar for Gnome Terminal and hide it when maximised (using Unite at the moment, which works). Then eventually when I'm...
Note that the gap also shows up in the overview: 
I just tested with all extensions other than GTKTitleBar disabled and it happened again. I forgot to mention what versions I'm running; I'm using GTKTitleBar 3.0 and Gnome 3.32.2.
No, I'm using vanilla Adwaita.
No, the gap remains when the window is focused. Doing an action which redraws the window (eg unmaximising/maximising) makes the gap disappear. I haven't experienced the problem for the last...
I don’t think it’s related to the menu bar. I also saw the problem on apps which don’t have a menu bar at all, for example OpenRCT2. My impression was...
Intererestingly, the Unite extension (which GTKTitleBar seems to borrow its functionality from) hides the terminal titlebars correctly. Is there some difference in the way they look for windows to undecorate?...