git-gui: Use system default labelframe bordering.

In the new branch dialog and delete branch dialog we are using the
system default labelframe border settings (whatever those are) and
they look reasonable on both Windows and Mac OS X.  But for some
unknown reason to me I used a raised border for the options dialog.
It doesn't look consistent anymore, so I'm switching it to the
defaults.

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

diff --git a/git-gui.sh b/git-gui.sh
index b5c2c7406d2d09d7d52a2c3fd25d79cec64fa48f..842fccc9f8c6ebc1510e052242e447b59454e949 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -3243,11 +3243,9 @@ proc do_options {} {
        pack $w.buttons -side bottom -fill x -pady 10 -padx 10
 
        labelframe $w.repo -text "[reponame] Repository" \
-               -font font_ui \
-               -relief raised -borderwidth 2
+               -font font_ui
        labelframe $w.global -text {Global (All Repositories)} \
-               -font font_ui \
-               -relief raised -borderwidth 2
+               -font font_ui
        pack $w.repo -side left -fill both -expand 1 -pady 5 -padx 5
        pack $w.global -side right -fill both -expand 1 -pady 5 -padx 5