Public bug reported:
Using Ubuntu 17.04, vim, in gnome-terminal. Default everythings from the
desktop install, default Theme. The only change is the default window
size in the settings -- I have it at 149x48. This bug happens even with
the default 80x24 window size. The font is the default (not overridden)
Monospace Regular 12.
When running vim in gnome-terminal, there is an ugly margin of terminal-
background color on the right/bottom of the terminal window. My vim
background is gray, my terminal background is green, vim displays gray
background but there is a green border just slightly slimmer than one
character cell on the right/bottom. This also happens for other terminal
programs (including the shell) if they set the background color of
output.
In an attempt to at least make this less ugly, I tried to add some
padding to the terminal to center the drawable area that vim paints with
the background. I added the following to my gtk.css:
$ cat .config/gtk-3.0/gtk.css
vte-terminal {
padding: 8px 8px 5px 1px;
}
Now, when I open gnome-terminal, it keeps resizing itself to be shorter
in the Y axis, one line at a time, until it is only one line high. It's
almost like an animation of the window height, collapsing the window to
be very short. After it stops there, I can manually snap the terminal to
top/bottom edges of the screen, and it will stay there, but trying to
resize it will just keep shrinking the height.
This bug is about the resizing behavior. My totally uneducated guess is
that there's some off-by-one error when allocating space for the
terminal window contents. Terminal calculates contents, sets the window,
measures contents, decides to attempt to "snap" to size of character
cell, rounds down, window gets shorter, terminal measures contents,
decides to attempt to "snap" to size of character cell, rounds down,
window gets shorter, ...
If that is, indeed, the case, then the other bug (the ugly border) may
be caused by the same problem, but I will file a separate bug for that.
$ lsb_release -rd
Description: Ubuntu 17.04
Release: 17.04
$ apt-cache policy gnome-terminal
gnome-terminal:
Installed: 3.20.2-1ubuntu8
Candidate: 3.20.2-1ubuntu8
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Attachment added: "screen capture showing the bug"
https://bugs.launchpad.net/bugs/1714810/+attachment/4943672/+files/2017-09-03-gnome-terminal-2017-09-03_10.44.05.mp4
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1714810
Title:
gnome-terminal shrinks window to nothing
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
