Comment 1 for bug 1288655

Revision history for this message
Jay Foad (jay-foad) wrote : Re: terminal gets smaller when maximized and then restored