git-gui: Pad the database statistics dialog window.

diff --git a/git-gui.sh b/git-gui.sh
index ea4136c98b0621264969f47a11f80d24834bf77f..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]
@@ -3772,12 +3772,10 @@ menu .mbar.repository
        -label {Visualize Current Branch} \
        -command {do_gitk {}} \
        -font font_ui
-if {![is_MacOSX]} {
-       .mbar.repository add command \
-               -label {Visualize All Branches} \
-               -command {do_gitk {--all}} \
-               -font font_ui
-}
+.mbar.repository add command \
+       -label {Visualize All Branches} \
+       -command {do_gitk {--all}} \
+       -font font_ui
 .mbar.repository add separator
 
 if {!$single_commit} {