diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-08-20 00:53:04 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-08-20 00:38:13 -0400 |
| commit | c6951ddb522a7d8ee0fc371cf9c37e727e676989 (patch) | |
| tree | edabba9ace51eb6a97ff44c9479076817f6b430a /git-gui.sh | |
| parent | git-gui: Added support for OS X right click (diff) | |
| download | tgif-c6951ddb522a7d8ee0fc371cf9c37e727e676989.tar.xz | |
git-gui: Fix window manager problems on ion3
cehteh on #git noticed that secondary windows such as console
windows from push/fetch/merge or the blame browser failed on ion
when we tried to open them a second time.
The issue turned out to be the fact that on ion [winfo ismapped .]
returns false if . is not visible right now because it has been
obscured by another window in the same panel. So we need to keep
track of whether or not the root window has been displayed for this
application, and once it has been we cannot ever assume that ismapped
is going to return true.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui.sh')
| -rwxr-xr-x | git-gui.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index 29a790e481..2686c1b8f0 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -1936,6 +1936,12 @@ if {$browser ne {}} { } unset browser doc_path doc_url +set root_exists 0 +bind . <Visibility> { + bind . <Visibility> {} + set root_exists 1 +} + # -- Standard bindings # wm protocol . WM_DELETE_WINDOW do_quit |