2011-11-03 20:07:07 +01:00
|
|
|
ToolTip = {}
|
|
|
|
|
|
|
|
-- private variables
|
|
|
|
local currentToolTip
|
|
|
|
|
|
|
|
-- private functions
|
|
|
|
local function moveToolTip(tooltip)
|
|
|
|
local pos = getMouseCursorPos()
|
|
|
|
pos.y = pos.y + 1
|
|
|
|
local xdif = getScreenSize().width - (pos.x + tooltip:getWidth())
|
|
|
|
if xdif < 2 then
|
|
|
|
pos.x = pos.x - tooltip:getWidth() - 3
|
|
|
|
else
|
|
|
|
pos.x = pos.x + 10
|
|
|
|
end
|
|
|
|
tooltip:moveTo(pos)
|
|
|
|
end
|
|
|
|
|
|
|
|
-- public functions
|
|
|
|
function ToolTip.display(text)
|
|
|
|
ToolTip.hide()
|
|
|
|
if text then
|
|
|
|
currentToolTip = UI.loadAndDisplay('/core/tooltip/tooltip.otui', UI.root)
|
|
|
|
currentToolTip.onMouseMove = moveToolTip
|
|
|
|
local label = currentToolTip:getChildById('toolTipText')
|
|
|
|
label:setText(text)
|
|
|
|
label:resizeToText()
|
|
|
|
local size = label:getSize()
|
|
|
|
size.width = size.width + 4
|
|
|
|
size.height = size.height + 4
|
|
|
|
currentToolTip:setSize(size)
|
2011-11-03 20:32:50 +01:00
|
|
|
moveToolTip(currentToolTip)
|
2011-11-03 20:07:07 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function ToolTip.hide()
|
|
|
|
if currentToolTip then
|
|
|
|
currentToolTip:destroy()
|
|
|
|
currentToolTip = nil
|
|
|
|
end
|
|
|
|
end
|