diff options
| author |  Philip Oakley <philipoakley@iee.org> | 2015-12-14 12:56:40 +0000 |
|---|---|---|
| committer | Philip Oakley <philipoakley@iee.org> | 2017-01-20 21:11:18 +0000 |
| commit | 746df946f30a32945117049b9419d586193e54e0 (patch) | |
| tree | 20025ba4f78018bd8833e369d44ef076c417999d /git-gui/lib/status_bar.tcl | |
| parent | git gui: de-dup selected repo from recentrepo history (diff) | |
| download | tgif-746df946f30a32945117049b9419d586193e54e0.tar.xz | |
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>
Diffstat (limited to 'git-gui/lib/status_bar.tcl')
0 files changed, 0 insertions, 0 deletions