# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1323035382 0
# Node ID 6aa94c8a91de0f5323cd106230446f4aefe883b9
# Parent  0676561865acaeab4d39ba776835b318ecabeef3
Bordered bitmap buttons need extra padding.

diff -r 0676561865ac -r 6aa94c8a91de mac/dw.m
--- a/mac/dw.m	Sun Dec 04 21:29:26 2011 +0000
+++ b/mac/dw.m	Sun Dec 04 21:49:42 2011 +0000
@@ -3577,6 +3577,11 @@
                     NSSize size = [image size];
                     thiswidth = (int)size.width;
                     thisheight = (int)size.height;
+                    if([object isBordered])
+                    {
+                        extrawidth = 4;
+                        extraheight = 4;
+                    }
                 }
                 else
                 {