summaryrefslogtreecommitdiff
path: root/git-gui.sh
diff options
context:
space:
mode:
authorLibravatar Stefan Haller <stefan@haller-berlin.de>2020-10-13 15:26:43 +0200
committerLibravatar Pratyush Yadav <me@yadavpratyush.com>2020-10-17 15:04:35 +0530
commitb297e03c6320a673264e9d4b15a086cee83239af (patch)
tree6f3966a38a9502a448ce9ba8239e7a5322d9f597 /git-gui.sh
parentMerge branch 'st/dark-mode' into master (diff)
downloadtgif-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