GNOME Terminal

  1. Bug #1288655
  2. Comment #7

Comment 7 for bug 1288655

Revision history for this message
Paul (i41bktob-launchpad-net) wrote : Re: terminal gets smaller when maximized and then restored

@egmont-gmail Do the other affected terminals also have scroll bars extending one pixel past the right and bottom edges, the way gnome-terminal has?