Comment 4 for bug 893174

Revision history for this message
Paul Sladen (sladen) wrote :

The excess appears to be 1 pixel of border and 1 pixel of new internal padding each side of which terminal