From: Alexander Gavrilov Date: Sun, 27 Jul 2008 06:34:21 +0000 (+0400) Subject: git-gui: Fix the Remote menu separator. X-Git-Tag: v1.6.0-rc2~3^2~12 X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=7e09b1531faa260226e0d4f7c850660b7ccb2f04;p=git.git 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 Signed-off-by: Shawn O. Pearce --- diff --git a/git-gui.sh b/git-gui.sh index 7c27a43a5..ce941adf8 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