Code

git-gui: Pad the database statistics dialog window.
authorShawn O. Pearce <spearce@spearce.org>
Thu, 25 Jan 2007 18:07:53 +0000 (13:07 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Thu, 25 Jan 2007 18:07:53 +0000 (13:07 -0500)
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>
git-gui.sh

index 639f380784c6234ae8e69119a5ba49f0bff3f6ed..9dbe1156c51ca2a9752871bb102dde240c8cb497 100755 (executable)
@@ -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]