Merge pull request #1038 from diath/fix_tooltip_move

Fix tooltip position updating
This commit is contained in:
Konrad Kuśnierz 2019-07-02 09:08:01 +02:00 committed by GitHub
commit caae18dbce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -62,7 +62,6 @@ function g_tooltip.init()
toolTipLabel:setBackgroundColor('#111111cc') toolTipLabel:setBackgroundColor('#111111cc')
toolTipLabel:setTextAlign(AlignCenter) toolTipLabel:setTextAlign(AlignCenter)
toolTipLabel:hide() toolTipLabel:hide()
toolTipLabel.onMouseMove = function() moveToolTip() end
end) end)
end end
@ -89,10 +88,18 @@ function g_tooltip.display(text)
toolTipLabel:enable() toolTipLabel:enable()
g_effects.fadeIn(toolTipLabel, 100) g_effects.fadeIn(toolTipLabel, 100)
moveToolTip(true) moveToolTip(true)
connect(rootWidget, {
onMouseMove = moveToolTip,
})
end end
function g_tooltip.hide() function g_tooltip.hide()
g_effects.fadeOut(toolTipLabel, 100) g_effects.fadeOut(toolTipLabel, 100)
disconnect(rootWidget, {
onMouseMove = moveToolTip,
})
end end