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>

diff --git a/git-gui.sh b/git-gui.sh
index 7c27a43a5de5394d2d1a482c456c1123798b64fc..ce941adf8d910743bd7112daaed382dc105342e8 100755 (executable)
--- 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} {
        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
                .mbar.remote insert $n separator
        }
        unset n