diff options
| -rwxr-xr-x | git-gui.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/git-gui.sh b/git-gui.sh index b5c2c7406..842fccc9f 100755 --- 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 |