git-gui: gui.autoexplore makes explorer to pop up automatically after picking
Especially for Windows users used to work with the Windows Explorer, it is very useful when after picking a repository (either opening a local one or initializing/cloning a new one) in the "intro" window, the explorer view of the working copy pops up along the standard Git GUI window, so that the users can, well, actually work with the repository. Signed-off-by: Petr Baudis <petr.baudis@novartis.com> Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Petr Baudis committed
Sep 25, 2008 at 00:07 UTC
bb4812bc0ae6e14b422ce3c45504965b523fdf84
1 file changed
+5
git-gui.sh
+5
@@ -995,6 +995,7 @@ citool {
995
##
996
## repository setup
997
998
+set picked 0
999
if {[catch {
1000
set _gitdir $env(GIT_DIR)
1001
set _prefix {}
@@ -1006,6 +1007,7 @@ if {[catch {
1007
load_config 1
1008
apply_config
1009
choose_repository::pick
1010
+ set picked 1
1011
}
1012
if {![file isdirectory $_gitdir] && [is_Cygwin]} {
1013
catch {set _gitdir [exec cygpath --windows $_gitdir]}
@@ -3376,3 +3378,6 @@ if {[is_enabled multicommit]} {
3378
if {[is_enabled retcode]} {
3379
bind . <Destroy> {+terminate_me %W}
3380
}
3381
+if {$picked && [is_config_true gui.autoexplore]} {
3382
+ do_explore
3383
+}