aboutsummaryrefslogtreecommitdiff
path: root/git-gui.sh
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2007-06-01 23:28:15 -0400
committerShawn O. Pearce <spearce@spearce.org>2007-06-01 23:28:15 -0400
commitf7e1d2d4ac53e93fb2c79bd65c9f3dbfbc9c2024 (patch)
tree77b9694b737de66e995a726b404f0a0ee7969067 /git-gui.sh
parentfc4e8da727d5c1737322b14386282456fd3c99c9 (diff)
parent160e82284eda034fea84dcc946f9c1965176f25f (diff)
downloadgit-f7e1d2d4ac53e93fb2c79bd65c9f3dbfbc9c2024.tar.xz
Merge branch 'maint'
* maint: git-gui: Don't quit when we destroy a child widget Make the installation target of git-gui a little less chatty
Diffstat (limited to 'git-gui.sh')
-rwxr-xr-xgit-gui.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh
index 5dc2c675a9..264d9ff042 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -1636,7 +1636,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]}