Ubuntu
gnome-terminal package

  1. Bug #1288655
  2. Comment #5

Comment 5 for bug 1288655

Revision history for this message
Marius Gedminas (mgedmin) wrote : Re: terminal gets smaller when maximized and then restored

Bug 1233205 was a bug in Unity and/or Compiz. Ubuntu 17.10 uses gnome-shell.