Gnome Terminal does not cover full screen when maximized
I'm running Gnome Shell (3.30) on a HiDPI display (3840x2160). When I put Gnome Terminal in fullscreen, it covers the whole screen except for a one-pixel line at the bottom where I can see my desktop background. I'm actually not sure whether the bug is in Gnome Terminal, Gnome Shell, VTK, GTK or somewhere else... My hunch is that the "window height should be a multiple of the terminal line height" logic somehow has an off-by-one error somewhere. Attached is a screenshot of the issue.