Ubuntu
gnome-terminal package

  1. Bug #1288655
  2. Comment #11

Comment 11 for bug 1288655

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

Ubuntu's gnome-terminal has patch, originating from Red Hat, with the title "Extra padding around transparent terminals in Wayland". Just by its name it's truly suspicious, but I don't have time now to verify if that's causing this terrible look. Anyway, as said, it's probably irrelevant.