2013-10-18 20:38:07 +00:00
|
|
|
local Widget = require("ui/widget/widget")
|
|
|
|
local Geom = require("ui/geometry")
|
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,
|
|
|
|
|
|
|
|
width = 6,
|
|
|
|
height = 50,
|
|
|
|
bordersize = 1,
|
|
|
|
bordercolor = 15,
|
|
|
|
radius = 0,
|
|
|
|
rectcolor = 15,
|
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,
|
|
|
|
self.bordersize, self.bordercolor, self.radius)
|
|
|
|
bb:paintRect(x + self.bordersize, y + self.bordersize + self.low*self.height,
|
|
|
|
self.width - 2*self.bordersize,
|
|
|
|
self.height * (self.high - self.low), self.rectcolor)
|
2013-07-29 08:03:16 +00:00
|
|
|
end
|
2013-10-18 20:38:07 +00:00
|
|
|
|
|
|
|
return VerticalScrollBar
|