Ubuntu
gnome-terminal package

  1. Bug #1288655
  2. Comment #8

Comment 8 for bug 1288655

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

Paul, what do you mean by "scroll bars extending one pixel past the right and bottom edges"??