summaryrefslogtreecommitdiff
path: root/plugingui/tabwidget.cc
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2019-05-10 07:08:50 +0200
committerBent Bisballe Nyeng <deva@aasimon.org>2019-05-10 07:08:50 +0200
commit0c2f72e9cba9f25fd838609ea53dd606029828e5 (patch)
treeffb16bc6329ee319ecc25027a5c6d205aee9ce98 /plugingui/tabwidget.cc
parent15faa626f7df7a3024dda5d11001347ed4573568 (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