diff options
author | Petr Baudis <pasky@suse.cz> | 2008-09-24 22:44:00 +0200 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2008-09-30 12:59:18 -0700 |
commit | 8329bd07250e0b26b76105d299b6153a68c3c404 (patch) | |
tree | dea86cec1b0d40d53e6ffbaf81f0a85f0487e149 /git-gui.sh | |
parent | 3c1c2a00b2cba9dfeee6e2a3c44a0ad52fcff4a8 (diff) | |
download | git-8329bd07250e0b26b76105d299b6153a68c3c404.tar.gz git-8329bd07250e0b26b76105d299b6153a68c3c404.tar.xz |
git-gui: Squash populate_{push,fetch}_menu to populate_remotes_menu
The meat of the routines is now separated to add_fetch_entry() and
add_push_entry(). This refactoring will allow easy implementation of adding
individual remotes later.
Signed-off-by: Petr Baudis <petr.baudis@novartis.com>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui.sh')
-rwxr-xr-x | git-gui.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/git-gui.sh b/git-gui.sh index 078636f23..ecc3b630e 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -3263,8 +3263,7 @@ if {[is_enabled transport]} { load_all_remotes set n [.mbar.remote index end] - populate_push_menu - populate_fetch_menu + populate_remotes_menu set n [expr {[.mbar.remote index end] - $n}] if {$n > 0} { if {[.mbar.remote type 0] eq "tearoff"} { incr n } |