Do you use Wayland (the new default) or Xorg (the old choice)? If Xorg then this bug is described upstream at https://bugzilla.gnome.org/show_bug.cgi?id=782863#c22 bullet point (1), and the nearby patch mitigates the problem.
If Wayland then we've found yet another bug, although the patch still probably mitigates it. ** Bug watch added: GNOME Bug Tracker #782863 https://bugzilla.gnome.org/show_bug.cgi?id=782863 -- 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
