diff options
author | Stefan Haller <stefan@haller-berlin.de> | 2020-10-13 15:26:43 +0200 |
---|---|---|
committer | Pratyush Yadav <me@yadavpratyush.com> | 2020-10-17 15:04:35 +0530 |
commit | b297e03c6320a673264e9d4b15a086cee83239af (patch) | |
tree | 6f3966a38a9502a448ce9ba8239e7a5322d9f597 /git-gui.sh | |
parent | Merge branch 'st/dark-mode' into master (diff) | |
download | tgif-b297e03c6320a673264e9d4b15a086cee83239af.tar.xz |
git-gui: blame: prevent tool tips from sticking around after Command-Tab
On Mac, tooltips are not automatically removed when a window loses
focus. Furthermore, mouse-move events are only dispatched to the active
window, which means that if we Command-tab to another application while
a tool tip is showing, the tool tip will stay there forever (in front of
other applications). So we must hide it manually when we lose focus.
Do this unconditionally here (i.e. without if {[is_MacOSX]}); it
shouldn't hurt on other platforms, even though they don't seem to have
this problem.
Signed-off-by: Stefan Haller <stefan@haller-berlin.de>
Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
Diffstat (limited to 'git-gui.sh')
0 files changed, 0 insertions, 0 deletions