git-gui: offer a list of recent repositories on startup
authorSteffen Prohaska <prohaska@zib.de>
Mon, 8 Oct 2007 06:25:47 +0000 (08:25 +0200)
committerShawn O. Pearce <spearce@spearce.org>
Fri, 12 Oct 2007 05:13:55 +0000 (01:13 -0400)
commit24f7c64b21bb26aab5b8525c0bac8452e7a7a4c8
tree06eb5f184a23152c2b18fcfdde8f78fd68da8645
parent85f7a94b3c1e4289827f2529d2e8447f3678c619
git-gui: offer a list of recent repositories on startup

If git-gui is started outside a work tree the repository chooser
will offer a list of recently opened repositories.  Clicking on
any list entry directly opens the repository.

The list of recently opened repositories is stored in the config
as the multi-valued option gui.recentrepo. If the list grows beyond
10 entries it will be truncated by removing one of the older entries.

Only repositories that are opened through the repository chooser
will get added to the recent list.  Repositories opened from the
shell will not yet be added to the recent list, as users are likely
to have a way to easily return to the same directory via their shell.

[sp: This is actually a combined work from both Steffen and myself.
     Most of the ideas are Steffen's, as is the basic outline of
     the code, but any outstanding bugs are entirely my fault.]

Signed-off-by: Steffen Prohaska <prohaska@zib.de>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh
lib/choose_repository.tcl