[PATCH v1 0/4] Fix git-gui when recentrepo list has duplicates

This is the patch series which follows from a user report of not being able to start the git-gui when it contained duplicate entries.

The git gui design assumes that there will never be duplicate entries in the recent repo list, and attempts to keep it that way.

For reasons unknown (other applications or tcl bugs?) there are cases where the global .gitconfig does contain duplicate entries in the gui.recentrepo config var. contrary to expectation.

The patch series fixes the root of the issue first, then patches the logic for the two functional usages of _unset_recentrepo.

Finally, the displayable recentrepos list region is expanded to allow extended recentrepo lists to at least be shown, before the git-gui wrangles then back down to the allowed maxrecent size.

Philip Oakley (4):
  git-gui: remove duplicate entries from .gitconfig's gui.recentrepo
  git gui: cope with duplicates in _get_recentrepo
  git gui: de-dup selected repo from recentrepo history
  git gui: allow for a long recentrepo list

 git-gui/lib/choose_repository.tcl | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)