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
