I suspect that you're facing the bug that was fixed here:
https://git.gnome.org/browse/vte/commit/?id=5bc6b3f

I wasn't clear about what I meant with "symmetric" margin. My wording
was clearly unfortunate, and even my example was incorrect :) I meant
where swapping the X and Y axes doesn't change anything, that is, top ==
left and bottom == right, for example "8px 5px 5px 8px".

Apparently, as per the fix, probably you can loosen this up a bit, and
any setting where left+right == top+bottom should work correctly I
believe. The bug arises when the overall vertical padding differs from
the overall horizontal padding.

Could you please confirm these?

If that's the case, you can:
- choose such paddings for now,
- wait for Artful which will ship vte-0.48 that fixes this,
- or recompile vte2.91 with this patch.

(The scrollback on the right is another story, unfortunately it's hard
to tell from a screenshot where the right paddings ends and the
scrollbar begins.)

-- 
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

Reply via email to