Ubuntu
gnome-terminal package

  1. Bug #1288655
  2. Comment #4

Comment 4 for bug 1288655

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

The bug is still present in 17.10.