I already confirmed the "non-symmetric" behavior: > 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;
Regarding scrollbars with un-filled space, I guess Linux will keep sucking on the desktop for the foreseeable future for political reasons :-) -- 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
