diff options
author | Alexander Gavrilov <angavrilov@gmail.com> | 2008-07-27 10:34:21 +0400 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2008-07-27 08:08:09 -0700 |
commit | 7e09b1531faa260226e0d4f7c850660b7ccb2f04 (patch) | |
tree | bd6705e6e8de1f89a564472ed23c010925f50070 | |
parent | git-gui: "Stage Line": Treat independent changes in adjacent lines better (diff) | |
download | tgif-7e09b1531faa260226e0d4f7c850660b7ccb2f04.tar.xz |
git-gui: Fix the Remote menu separator.
It was positioned incorrectly (offset by one position)
if the menu had a tear-off handle.
Signed-off-by: Alexander Gavrilov <angavrilov@gmail.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-rwxr-xr-x | git-gui.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index 7c27a43a5d..ce941adf8d 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -2925,6 +2925,7 @@ if {[is_enabled transport]} { populate_fetch_menu set n [expr {[.mbar.remote index end] - $n}] if {$n > 0} { + if {[.mbar.remote type 0] eq "tearoff"} { incr n } .mbar.remote insert $n separator } unset n |