Ubuntu
gnome-terminal package

  1. Bug #1288655
  2. Comment #6

Comment 6 for bug 1288655

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote : Re: terminal gets smaller when maximized and then restored

@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.