The proper way of detecting Wayland or Xorg is probably: echo $XDG_SESSION_TYPE
The fun way is: launch xeyes and move the mouse over gnome-terminal. If the eyes follow the movement then it's Xorg, if not then Wayland. -- 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
