Ubuntu
gnome-terminal package

  1. Bug #1706008
  2. Comment #4

Comment 4 for bug 1706008

Revision history for this message
Marius Gedminas (mgedmin) wrote :

Duplicate of bug 1288655?

BTW I cannot confirm that not using colors fixes the issue; even if I set PS1='$ ', I still get shrinkage after repeated maximizing/restoring or fullscreening/restoring.