diff options
| -rwxr-xr-x | git-gui.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git-gui.sh b/git-gui.sh index dc53e9a8f5..27ce0e3f7c 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -83,9 +83,9 @@ if {![catch {set _verbose $env(GITGUI_VERBOSE)}]} { return [uplevel 1 real__auto_load $name $args] } rename source real__source - proc source {name} { - puts stderr "source $name" - uplevel 1 real__source $name + proc source {args} { + puts stderr "source $args" + uplevel 1 [linsert $args 0 real__source] } if {[tk windowingsystem] eq "win32"} { console show } } |