git-gui: Fix the Remote menu separator.

angavrilov · spearce · commit 7e09b1531faa · 2008-07-27T08:08:09.000-07:00
It was positioned incorrectly (offset by one position)
if the menu had a tear-off handle.

Signed-off-by: Alexander Gavrilov &lt;angavrilov@gmail.com&gt;
Signed-off-by: Shawn O. Pearce &lt;spearce@spearce.org&gt;
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -2925,6 +2925,7 @@ if {[is_enabled transport]} {`
`2925`	`2925`	`populate_fetch_menu`
`2926`	`2926`	`set n [expr {[.mbar.remote index end] - $n}]`
`2927`	`2927`	`if {$n > 0} {`
	`2928`	`+ if {[.mbar.remote type 0] eq "tearoff"} { incr n }`
`2928`	`2929`	`.mbar.remote insert $n separator`
`2929`	`2930`	`}`
`2930`	`2931`	`unset n`