@Marius, Ubuntu 17.10 uses gnome-shell by dfault, but unity is still available.
Actually I'm using unity7 on 17.10, and this bug isn't present there. However, I can confirm the bug on gnome-shell + wayland. Interestingly, trying a couple of terminal emulators (xfce4-terminal, mate-terminal) some are buggy, some are not; and when double clicking on the title, some maximize with an animation and some maximize without. No clue why this difference in animation is there, and no clue if it's relevant. -- 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/1288655 Title: terminal gets smaller when maximized and then restored To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1288655/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
