git-gui: Pad the cancel/save buttons in the options window.

It looks horrible to have the cancel and save buttons wedged up against
each other in our options dialog.  Therefore toss a 5 pixel pad between
them.

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

diff --git a/git-gui.sh b/git-gui.sh
index a1002ecab850fa654c61403f16835c0bd8d3763e..13cd1b9b4a2d376c308f19565e0a91b1bf5bd3cb 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -2582,7 +2582,7 @@ proc do_options {} {
        button $w.buttons.cancel -text {Cancel} \
                -font font_ui \
                -command [list destroy $w]
        button $w.buttons.cancel -text {Cancel} \
                -font font_ui \
                -command [list destroy $w]

-       pack $w.buttons.cancel -side right
+       pack $w.buttons.cancel -side right -padx 5

        pack $w.buttons -side bottom -fill x -pady 10 -padx 10
 
        labelframe $w.repo -text "[reponame] Repository" \
        pack $w.buttons -side bottom -fill x -pady 10 -padx 10
 
        labelframe $w.repo -text "[reponame] Repository" \