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/tabwidget.cc | |
| 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/tabwidget.cc')
0 files changed, 0 insertions, 0 deletions