[PATCH (GIT-GUI) 1/2] git-gui: Fix the Remote menu separator.

From: Alexander Gavrilov <angavrilov@gmail.com>
Date: Jul 27, 2008, 06:34 UTC
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 <angavrilov@gmail.com>
---

	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