[Bug 1714810] Re: gnome-terminal shrinks window to nothing
*** 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 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
*** 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 Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 https://bugzilla.gnome.org/show_bug.cgi?id=754796 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 default padding is 1px on all sides, that tiny thin line that you can see. Don't set it to 0px because you'll face new bugs then :) The extra amount on the right side in the screenshot is probably part of the scrollbar (even though it doesn't look so). I hate it, see https://bugzilla.gnome.org/show_bug.cgi?id=772134#c3 for a workaround. > It sounds from your description as if the real problem is in "vte" which is used by gnome-terminal? Exactly. (Ubuntu package name is "libvte-2.91-0" and friends, source package is "vte2.91".) > Note that, in the worst of cases, when I maximize a window and get a green > border on the bottom, I will sometimes get a line of text "stuck" there, and > it's inaccessible by any normal editor commands or cursor movement. I can't > reproduce this on demand (yet) though. When you maximize or fullscreen, extra padding might appear on the right and bottom for the remaining area that's smaller than a full cell. That area cannot be used normally. An exception is that if you begin to scroll back with the scrollbar (or touchpad, mouse wheel etc.) then the bottom extra padding also begins to show contents (this is new as of vte-0.44, the version that you have). ** Bug watch added: GNOME Bug Tracker #772134 https://bugzilla.gnome.org/show_bug.cgi?id=772134 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 gnome-terminal? Note that, in the worst of cases, when I maximize a window and get a green border on the bottom, I will sometimes get a line of text "stuck" there, and it's inaccessible by any normal editor commands or cursor movement. I can't reproduce this on demand (yet) though. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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?) Also worthy of note (sorry, spaced on this last time): I installed this as Ubuntu Server, and then added the desktop by doing sudo apt install ubuntu-desktop. I have also installed the NVIDIA CUDA tools, which installs the NVIDIA 375 driver. Interestingly, my control panels don't have any option to select default window chrome sizes or font sizes, although the Terminal application itself does. I wonder if ubuntu-desktop doesn't actually include *everything* it needs. (I also noted that gnome-screenshot wasn't installed by default; I had to install it manually.) The version of ubuntu-desktop is 1.379 and the version of unity is 7.5.0+17.04.20170407.1-0ubuntu1 Regarding "symmetric" margins, 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; ** Attachment added: "screen shot of ugly margin and versions" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+attachment/4944285/+files/Screenshot%20from%202017-09-04%2010-34-02.png -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1714810] Re: gnome-terminal shrinks window to nothing
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 whether the horizontal and vertical paddings are mixed up somewhere in the source, causing the problem. "there is an ugly margin of terminal-background color on the right/bottom of the terminal window" - Do you even have it without adding a custom padding, and with non-fullscreen non-maximized terminal? If so, that's probably related to the bug. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs