diff options
| author | Bent Bisballe Nyeng <deva@aasimon.org> | 2019-05-10 07:08:50 +0200 |
|---|---|---|
| committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2019-05-10 07:08:50 +0200 |
| commit | 0c2f72e9cba9f25fd838609ea53dd606029828e5 (patch) | |
| tree | ffb16bc6329ee319ecc25027a5c6d205aee9ce98 /plugingui | |
| parent | 15faa626f7df7a3024dda5d11001347ed4573568 (diff) | |
Fix tootltip not disappearing if mouse 'jumps' out of the window without first moving inside the tooltip after showing it.
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/tooltip.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugingui/tooltip.cc b/plugingui/tooltip.cc index 4b1998a..499ab14 100644 --- a/plugingui/tooltip.cc +++ b/plugingui/tooltip.cc @@ -179,6 +179,10 @@ void Tooltip::show() move(x, y); Widget::show(); + + // TODO: This should be handled differently + // Hack to notify the window that the mouse is now inside the tooltip. + window()->setMouseFocus(this); } } // GUI:: |