diff options
| -rwxr-xr-x | git-gui.sh | 5 | 
1 files changed, 5 insertions, 0 deletions
| diff --git a/git-gui.sh b/git-gui.sh index 037a1f2c21..718277a651 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -2052,6 +2052,11 @@ proc do_quit {{rc {1}}} {  	}  	set ret_code $rc + +	# Briefly enable send again, working around Tk bug +	# http://sourceforge.net/tracker/?func=detail&atid=112997&aid=1821174&group_id=12997 +	tk appname [appname] +  	destroy .  } | 
