Skip to content

Commit

Permalink
git-gui: Fix the Remote menu separator.
Browse files Browse the repository at this point in the history
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>
  • Loading branch information
Alexander Gavrilov authored and Shawn O. Pearce committed Jul 27, 2008
1 parent c7f7457 commit 7e09b15
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions git-gui.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 7e09b15

Please sign in to comment.