|
|
|
@ -1,7 +1,6 @@
|
|
|
|
|
local InputContainer = require("ui/widget/container/inputcontainer")
|
|
|
|
|
local FrameContainer = require("ui/widget/container/framecontainer")
|
|
|
|
|
local CenterContainer = require("ui/widget/container/centercontainer")
|
|
|
|
|
local RightContainer = require("ui/widget/container/rightcontainer")
|
|
|
|
|
local LeftContainer = require("ui/widget/container/leftcontainer")
|
|
|
|
|
local HorizontalGroup = require("ui/widget/horizontalgroup")
|
|
|
|
|
local VerticalGroup = require("ui/widget/verticalgroup")
|
|
|
|
@ -27,8 +26,6 @@ local Font = require("ui/font")
|
|
|
|
|
local TimeVal = require("ui/timeval")
|
|
|
|
|
local RenderText = require("ui/rendertext")
|
|
|
|
|
|
|
|
|
|
local DocSettings = require("docsettings")
|
|
|
|
|
local DEBUG = require("dbg")
|
|
|
|
|
local util = require("util")
|
|
|
|
|
local _ = require("gettext")
|
|
|
|
|
|
|
|
|
@ -195,7 +192,7 @@ end
|
|
|
|
|
function StatusWidget:addHeader(width, height, title)
|
|
|
|
|
local group = HorizontalGroup:new{
|
|
|
|
|
align = "center",
|
|
|
|
|
bordersize = 0
|
|
|
|
|
bordersize = 0,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
local bold = false
|
|
|
|
@ -360,7 +357,10 @@ function StatusWidget:setStar(num)
|
|
|
|
|
self:saveSummary()
|
|
|
|
|
|
|
|
|
|
for i = 1, num do
|
|
|
|
|
table.insert(stars_group, self.star:new { icon = "resources/icons/stats.star.full.png", callback = function() self:setStar(i) end })
|
|
|
|
|
table.insert(stars_group, self.star:new{
|
|
|
|
|
icon = "resources/icons/stats.star.full.png",
|
|
|
|
|
callback = function() self:setStar(i) end
|
|
|
|
|
})
|
|
|
|
|
end
|
|
|
|
|
else
|
|
|
|
|
num = 0
|
|
|
|
|