[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2019-02-18 Thread Daniel van Vugt
*** This bug is a duplicate of bug 1288655 *** https://bugs.launchpad.net/bugs/1288655 ** This bug is no longer a duplicate of bug 1569638 Terminal height shrinking when it loses focus ** This bug has been marked a duplicate of bug 1288655 Terminal height shrinking when it loses focus

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2018-01-04 Thread Cristian Esteban Pardo Velásquez
*** 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 Ubuntu Bugs, which is subscribed

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Jon Watte
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

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Egmont Koblinger
Regarding the scrollbar and its surrounding space that looks like padding: see my opinion (which is not in favor of Ubuntu's custom change at all) at https://bugzilla.gnome.org/show_bug.cgi?id=754796 comments 17-20. ** Bug watch added: GNOME Bug Tracker #754796

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Egmont Koblinger
We're talking about multiple bugs here. The most serious one, the window automatically shrinking should I believe stop when you specify paddings so that left+right = top+bottom. Could you please test/confirm this? > The window in the screen shot is taken with zero configured padding. The

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Jon Watte
Thanks for the pointer! The window in the screen shot is taken with zero configured padding. The green strip between the gray vim background and the orange scroll bar is all ugly padding added by gnome-terminal. It sounds from your description as if the real problem is in "vte" which is used by

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Egmont Koblinger
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

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Jon Watte
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?)

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Jon Watte
output of "dpkg -l" ** Attachment added: "dpkg -l" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+attachment/4944298/+files/dpkg.txt -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Jon Watte
Output of "lshw" ** Attachment added: "lshw" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+attachment/4944297/+files/hw.txt -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 1714810] Re: gnome-terminal shrinks window to nothing

2017-09-04 Thread Egmont Koblinger
You're using Unity7 as far as I tell from the video, is that correct? I couldn't yet reproduce your problem, but I'll keep trying with some different settings. Could you please try with something "symmetrical" such as "8px 8px 5px px" as well as "8px 8px 1px 1px"? This could help us locate