David, friendly ping. Does echo $XDG_SESSION_TYPE confirm that you're running Xorg (x11)?
-- 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/1731489 Title: Extending a gnome terminal window to the right increases its height Status in gnome-terminal package in Ubuntu: New Bug description: I've just installed Ubuntu 17.10. If I 'grab' the right border of a gnome terminal window in order to resize it (to unwrap long lines) the height of the window changes as well. This is not desirable. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1731489/+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
