From: Alexander Gavrilov Date: Sun, 27 Jul 2008 06:34:21 GMT Subject: [PATCH (GIT-GUI) 1/2] git-gui: Fix the Remote menu separator. Message-ID: <200807271034.21833.angavrilov@gmail.com> It was positioned incorrectly (offset by one position) if the menu had a tear-off handle. Signed-off-by: Alexander Gavrilov --- A couple of random fixes. -- Alexander git-gui.sh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/git-gui.sh b/git-gui.sh index 9d0627d..da903a1 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -2926,6 +2926,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 -- 1.5.6.3.18.gfe82