mirrors/git
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

git-gui: Don't quit when we destroy a child widget

Browse Source 
Its wrong to exit the application if we destroy a random widget
contained withing something else; especially if its some small
trivial thing that has no impact on the overall operation.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
Shawn O. Pearce
2007-06-01 18:20:30 -04:00
parent c289f6fa1f
commit 160e82284e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
git-gui.sh
View File

@ -1600,7 +1600,7 @@ unset browser doc_path doc_url
# -- Standard bindings # -- Standard bindings
# #
bind . <Destroy> do_quit bind . <Destroy> {if {{%W} eq {.}} do_quit}
bind all <$M1B-Key-q> do_quit bind all <$M1B-Key-q> do_quit
bind all <$M1B-Key-Q> do_quit bind all <$M1B-Key-Q> do_quit
bind all <$M1B-Key-w> {destroy [winfo toplevel %W]} bind all <$M1B-Key-w> {destroy [winfo toplevel %W]}