tree 6f3966a38a9502a448ce9ba8239e7a5322d9f597
parent 01121d6132135e62d4bf7c2e67e749ae3037d0ba
author Stefan Haller <stefan@haller-berlin.de> 1602595603 +0200
committer Pratyush Yadav <me@yadavpratyush.com> 1602927275 +0530

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>