diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-01-24 17:01:49 -0500 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-01-25 00:25:31 -0500 |
| commit | f747133720d26e52b6ed83dfd57cdd1a74668b3d (patch) | |
| tree | da29714797920b7e751d1cabe302d9452d51c9b8 /git-gui.sh | |
| parent | git-gui: Implement basic branch switching through read-tree. (diff) | |
| download | tgif-f747133720d26e52b6ed83dfd57cdd1a74668b3d.tar.xz | |
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>
Diffstat (limited to 'git-gui.sh')
| -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 b5c2c7406d..842fccc9f8 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 |