git-gui: Pad the database statistics dialog window.

The stat frame was right on the edge of the window on Mac OS X,
making the frame's border blend in with the window border.  Not
exactly the effect I had in mind.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

diff --git a/git-gui.sh b/git-gui.sh
index 639f380784c6234ae8e69119a5ba49f0bff3f6ed..9dbe1156c51ca2a9752871bb102dde240c8cb497 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -2950,7 +2950,7 @@ proc do_stats {} {
                label $w.stat.v_$name -text $value -anchor w -font font_ui
                grid $w.stat.l_$name $w.stat.v_$name -sticky we -padx {0 5}
        }
-       pack $w.stat
+       pack $w.stat -pady 10 -padx 10
 
        bind $w <Visibility> "grab $w; focus $w"
        bind $w <Key-Escape> [list destroy $w]