From: Shawn O. Pearce <spearce@spearce.org>
Date: Fri, 1 Jun 2007 22:20:30 +0000 (-0400)
Subject: git-gui: Don't quit when we destroy a child widget
X-Git-Tag: gitgui-0.7.3~42
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=160e82284eda034fea84dcc946f9c1965176f25f;p=git.git

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

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>
---

diff --git a/git-gui.sh b/git-gui.sh
index d6472636c..a8185a301 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -1600,7 +1600,7 @@ unset browser doc_path doc_url
 
 # -- 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-w> {destroy [winfo toplevel %W]}