Ubuntu
gnome-terminal package

  1. Bug #1714810
  2. Comment #3

Comment 3 for bug 1714810

Revision history for this message
Jon Watte (jwatte) wrote :

Thanks for your answer!

Yes, the ugly margin is there even when not maximizing the terminal and even when not using a css override file. (I removed the css override so I can keep working.)
I'm attaching a screen shot (the ugly border is only on the right side, probably scroll bar related?)

Also worthy of note (sorry, spaced on this last time): I installed this as Ubuntu Server, and then added the desktop by doing sudo apt install ubuntu-desktop. I have also installed the NVIDIA CUDA tools, which installs the NVIDIA 375 driver.
Interestingly, my control panels don't have any option to select default window chrome sizes or font sizes, although the Terminal application itself does. I wonder if ubuntu-desktop doesn't actually include *everything* it needs. (I also noted that gnome-screenshot wasn't installed by default; I had to install it manually.)

The version of ubuntu-desktop is 1.379 and the version of unity is 7.5.0+17.04.20170407.1-0ubuntu1

Regarding "symmetric" margins, the following padding does NOT cause the problem:
padding: 1px 1px 1px 1px;
The following padding DOES cause the problem:
padding: 2px 1px 1px 1px;