Add more space around autosized buttons so that they are usable without

manual intervention


git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@13451 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2002-04-12 00:02:00 +00:00
parent eb4cf3c858
commit da8c4bdb2c

View file

@ -964,6 +964,10 @@
{
borderSize.height += 1;
borderSize.width += 3;
/* Add some more space because it looks better. */
borderSize.height += 2;
borderSize.width += 3;
}
// Add border size