|
|
@ -1,3 +1,4 @@
|
|
|
|
|
|
|
|
local UIManager = require("ui/uimanager")
|
|
|
|
local Widget = require("ui/widget/widget")
|
|
|
|
local Widget = require("ui/widget/widget")
|
|
|
|
local Screen = require("device").screen
|
|
|
|
local Screen = require("device").screen
|
|
|
|
local RenderText = require("ui/rendertext")
|
|
|
|
local RenderText = require("ui/rendertext")
|
|
|
@ -50,6 +51,9 @@ end
|
|
|
|
function TextWidget:setText(text)
|
|
|
|
function TextWidget:setText(text)
|
|
|
|
self.text = text
|
|
|
|
self.text = text
|
|
|
|
self:updateSize()
|
|
|
|
self:updateSize()
|
|
|
|
|
|
|
|
UIManager:setDirty(self.parent, function()
|
|
|
|
|
|
|
|
return "partial", self.dimen
|
|
|
|
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
function TextWidget:paintTo(bb, x, y)
|
|
|
|
function TextWidget:paintTo(bb, x, y)
|
|
|
|