2017-04-29 16:30:16 +02:00
|
|
|
--[[--
|
|
|
|
|
Widget that displays a line.
|
|
|
|
|
]]
|
|
|
|
|
|
2014-10-22 15:34:11 +02:00
|
|
|
local Blitbuffer = require("ffi/blitbuffer")
|
2017-04-29 16:30:16 +02:00
|
|
|
local Widget = require("ui/widget/widget")
|
2013-03-14 13:59:59 +08:00
|
|
|
|
2013-10-18 22:38:07 +02:00
|
|
|
local LineWidget = Widget:new{
|
2014-03-13 21:52:43 +08:00
|
|
|
style = "solid",
|
2014-10-22 15:34:11 +02:00
|
|
|
background = Blitbuffer.COLOR_BLACK,
|
2014-03-13 21:52:43 +08:00
|
|
|
dimen = nil,
|
2019-08-26 15:49:50 +02:00
|
|
|
--- @todo Replay dirty hack here 13.03 2013 (houqp).
|
2014-03-13 21:52:43 +08:00
|
|
|
empty_segments = nil,
|
2013-03-14 13:59:59 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
function LineWidget:paintTo(bb, x, y)
|
2014-05-28 20:05:38 +08:00
|
|
|
if self.style == "none" then return end
|
2014-03-13 21:52:43 +08:00
|
|
|
if self.style == "dashed" then
|
|
|
|
|
for i = 0, self.dimen.w - 20, 20 do
|
|
|
|
|
bb:paintRect(x + i, y,
|
|
|
|
|
16, self.dimen.h, self.background)
|
|
|
|
|
end
|
|
|
|
|
else
|
|
|
|
|
if self.empty_segments then
|
|
|
|
|
bb:paintRect(x, y,
|
2016-02-14 13:47:36 -08:00
|
|
|
self.empty_segments[1].s,
|
|
|
|
|
self.dimen.h,
|
|
|
|
|
self.background)
|
2014-03-13 21:52:43 +08:00
|
|
|
bb:paintRect(x + self.empty_segments[1].e, y,
|
2016-02-14 13:47:36 -08:00
|
|
|
self.dimen.w - x - self.empty_segments[1].e,
|
|
|
|
|
self.dimen.h,
|
|
|
|
|
self.background)
|
2014-03-13 21:52:43 +08:00
|
|
|
else
|
|
|
|
|
bb:paintRect(x, y, self.dimen.w, self.dimen.h, self.background)
|
|
|
|
|
end
|
|
|
|
|
end
|
2013-03-14 13:59:59 +08:00
|
|
|
end
|
2013-10-18 22:38:07 +02:00
|
|
|
|
|
|
|
|
return LineWidget
|