2014-10-22 13:34:11 +00:00
|
|
|
local Blitbuffer = require("ffi/blitbuffer")
|
2017-04-02 06:50:24 +00:00
|
|
|
local Geom = require("ui/geometry")
|
2017-09-13 14:56:20 +00:00
|
|
|
local Size = require("ui/size")
|
2017-04-02 06:50:24 +00:00
|
|
|
local Widget = require("ui/widget/widget")
|
2013-07-29 08:03:16 +00:00
|
|
|
|
2013-10-18 20:38:07 +00:00
|
|
|
local VerticalScrollBar = Widget:new{
|
2014-03-13 13:52:43 +00:00
|
|
|
enable = true,
|
|
|
|
low = 0,
|
|
|
|
high = 1,
|
2017-09-13 14:56:20 +00:00
|
|
|
width = Size.padding.default,
|
|
|
|
height = Size.item.height_large,
|
|
|
|
bordersize = Size.border.thin,
|
2014-10-22 13:34:11 +00:00
|
|
|
bordercolor = Blitbuffer.COLOR_BLACK,
|
2014-03-13 13:52:43 +00:00
|
|
|
radius = 0,
|
2014-10-22 13:34:11 +00:00
|
|
|
rectcolor = Blitbuffer.COLOR_BLACK,
|
2018-08-01 16:33:52 +00:00
|
|
|
-- minimal height of the thumb/knob/grip (usually showing the current
|
|
|
|
-- view size and position relative to the whole scrollable height):
|
|
|
|
min_thumb_size = Size.line.thick,
|
2013-07-29 08:03:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function VerticalScrollBar:getSize()
|
2014-03-13 13:52:43 +00:00
|
|
|
return Geom:new{
|
|
|
|
w = self.width,
|
|
|
|
h = self.height
|
|
|
|
}
|
2013-07-29 08:03:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function VerticalScrollBar:set(low, high)
|
2014-03-13 13:52:43 +00:00
|
|
|
self.low = low > 0 and low or 0
|
|
|
|
self.high = high < 1 and high or 1
|
2013-07-29 08:03:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
function VerticalScrollBar:paintTo(bb, x, y)
|
2014-03-13 13:52:43 +00:00
|
|
|
if not self.enable then return end
|
|
|
|
bb:paintBorder(x, y, self.width, self.height,
|
2017-04-02 06:50:24 +00:00
|
|
|
self.bordersize, self.bordercolor, self.radius)
|
|
|
|
bb:paintRect(x + self.bordersize, y + self.bordersize + self.low * self.height,
|
|
|
|
self.width - 2 * self.bordersize,
|
2018-08-01 16:33:52 +00:00
|
|
|
math.max((self.height - 2 * self.bordersize) * (self.high - self.low), self.min_thumb_size),
|
|
|
|
self.rectcolor)
|
2013-07-29 08:03:16 +00:00
|
|
|
end
|
2013-10-18 20:38:07 +00:00
|
|
|
|
|
|
|
return VerticalScrollBar
|