Browse Source

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>
maint
Shawn O. Pearce 18 years ago
parent
commit
68567679a2
  1. 2
      git-gui.sh

2
git-gui.sh

@ -2950,7 +2950,7 @@ proc do_stats {} {
label $w.stat.v_$name -text $value -anchor w -font font_ui 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} 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 <Visibility> "grab $w; focus $w"
bind $w <Key-Escape> [list destroy $w] bind $w <Key-Escape> [list destroy $w]

Loading…
Cancel
Save