*** This bug is a duplicate of bug 1569638 ***
https://bugs.launchpad.net/bugs/1569638
** This bug has been marked a duplicate of bug 1569638
Terminal height shrinking when it loses focus
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1714810
Title:
gnome-terminal shrinks window to nothing
Status in gnome-terminal package in Ubuntu:
New
Bug description:
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
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
