mirrors/git
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge git-gui 0.14.0

Browse Source
This commit is contained in:
Junio C Hamano
2011-03-26 10:42:26 -07:00
parent 421446b6fc fbc9629e2f
commit 42f9874573
14 changed files with 3383 additions and 449 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
git-gui/lib/remote_branch_delete.tcl
View File

@ -251,7 +251,7 @@ method _write_url {args} { set urltype url }
method _write_check_head {args} { set checktype head }
method _write_head_list {args} {
global current_branch
global current_branch _last_merged_branch
$head_m delete 0 end
foreach abr $head_list {
@ -267,6 +267,13 @@ method _write_head_list {args} {
set check_head $current_branch
}
}
set lmb [lsearch -exact -sorted $head_list $_last_merged_branch]
if {$lmb >= 0} {
$w.heads.l conf -state normal
$w.heads.l select set $lmb
$w.heads.l yview $lmb
$w.heads.l conf -state disabled
}
}
method _write_urltype {args} {