diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-06-01 18:20:30 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-06-01 23:12:56 -0400 |
| commit | 160e82284eda034fea84dcc946f9c1965176f25f (patch) | |
| tree | 76ea952fa47e5ce72190dbae414969dfaf65cda8 | |
| parent | Make the installation target of git-gui a little less chatty (diff) | |
| download | tgif-160e82284eda034fea84dcc946f9c1965176f25f.tar.xz | |
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>
| -rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index d6472636c3..a8185a3014 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]} |