mirror of
https://github.com/git/git.git
synced 2026-01-26 02:24:27 +00:00
git gui: allow for a long recentrepo list
The gui.recentrepo list may be longer than the maxrecent setting. Allow extra space to show any extra entries. In an ideal world, the git gui would limit the number of entries to the maxrecent setting, however the recentrepo config list may have been extended outwith the gui, or the maxrecent setting changed to a reduced value. Further, when testing the gui's recentrepo logic it is useful to show these extra, but valid, entries. Signed-off-by: Philip Oakley <philipoakley@iee.org>
This commit is contained in:
committed by
Johannes Schindelin
parent
7a170a112f
commit
583c6799f1
@@ -142,6 +142,10 @@ constructor pick {} {
|
||||
-label [mc "Recent Repositories"]
|
||||
}
|
||||
|
||||
if {[set lenrecent [llength $sorted_recent]] < $maxrecent} {
|
||||
set lenrecent $maxrecent
|
||||
}
|
||||
|
||||
${NS}::label $w_body.space
|
||||
${NS}::label $w_body.recentlabel \
|
||||
-anchor w \
|
||||
@@ -153,7 +157,7 @@ constructor pick {} {
|
||||
-background [get_bg_color $w_body.recentlabel] \
|
||||
-wrap none \
|
||||
-width 50 \
|
||||
-height $maxrecent
|
||||
-height $lenrecent
|
||||
$w_recentlist tag conf link \
|
||||
-foreground blue \
|
||||
-underline 1
|
||||
|
||||
Reference in New Issue
Block a user