git gui: allow for a long recentrepo list
commit746df946f30a32945117049b9419d586193e54e0
authorPhilip Oakley <philipoakley@iee.org>
Mon, 14 Dec 2015 12:56:40 +0000 (14 12:56 +0000)
committerPhilip Oakley <philipoakley@iee.org>
Fri, 20 Jan 2017 21:11:18 +0000 (20 21:11 +0000)
tree20025ba4f78018bd8833e369d44ef076c417999d
parente670fce17f79f6305f17f2a91732565909c678dd
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>
lib/choose_repository.tcl