2014-10-22 13:34:11 +00:00
|
|
|
local Blitbuffer = require("ffi/blitbuffer")
|
2020-08-26 18:44:58 +00:00
|
|
|
local Device = require("device")
|
2017-04-02 06:50:24 +00:00
|
|
|
local Geom = require("ui/geometry")
|
2020-08-26 18:44:58 +00:00
|
|
|
local GestureRange = require("ui/gesturerange")
|
|
|
|
local InputContainer = require("ui/widget/container/inputcontainer")
|
2017-09-13 14:56:20 +00:00
|
|
|
local Size = require("ui/size")
|
2020-08-26 18:44:58 +00:00
|
|
|
local Screen = require("device").screen
|
2013-07-29 08:03:16 +00:00
|
|
|
|
2020-08-26 18:44:58 +00:00
|
|
|
local VerticalScrollBar = InputContainer: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,
|
2020-08-26 18:44:58 +00:00
|
|
|
scroll_callback = nil,
|
|
|
|
-- extra touchable width (for scrolling with pan) can be larger than
|
|
|
|
-- the provided width (this is added on each side)
|
|
|
|
extra_touch_on_side_width_ratio = 1, -- make it 3 x width
|
2013-07-29 08:03:16 +00:00
|
|
|
}
|
|
|
|
|
2020-08-26 18:44:58 +00:00
|
|
|
function VerticalScrollBar:init()
|
|
|
|
self.extra_touch_on_side = math.ceil( self.extra_touch_on_side_width_ratio * self.width )
|
|
|
|
if Device:isTouchDevice() then
|
|
|
|
local pan_rate = Screen.low_pan_rate and 2.0 or 5.0
|
|
|
|
self.ges_events = {
|
|
|
|
TapScroll = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "tap",
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
HoldScroll = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "hold",
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
HoldPanScroll = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "hold_pan",
|
|
|
|
rate = pan_rate,
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
HoldReleaseScroll = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "hold_release",
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
PanScroll = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "pan",
|
|
|
|
rate = pan_rate,
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
PanScrollRelease = {
|
|
|
|
GestureRange:new{
|
|
|
|
ges = "pan_release",
|
|
|
|
range = function() return self.touch_dimen end,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
function VerticalScrollBar:onTapScroll(arg, ges)
|
|
|
|
if self.scroll_callback then
|
|
|
|
local ratio = (ges.pos.y - self.touch_dimen.y) / self.height
|
|
|
|
self.scroll_callback(ratio)
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
VerticalScrollBar.onHoldScroll = VerticalScrollBar.onTapScroll
|
|
|
|
VerticalScrollBar.onHoldPanScroll = VerticalScrollBar.onTapScroll
|
|
|
|
VerticalScrollBar.onHoldReleaseScroll = VerticalScrollBar.onTapScroll
|
|
|
|
VerticalScrollBar.onPanScroll = VerticalScrollBar.onTapScroll
|
|
|
|
VerticalScrollBar.onPanScrollRelease = VerticalScrollBar.onTapScroll
|
|
|
|
|
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
|
2020-08-26 18:44:58 +00:00
|
|
|
self.touch_dimen = Geom:new{
|
|
|
|
x = x - self.extra_touch_on_side,
|
|
|
|
y = y,
|
|
|
|
w = self.width + 2 * self.extra_touch_on_side,
|
|
|
|
h = self.height,
|
|
|
|
}
|
2014-03-13 13:52:43 +00:00
|
|
|
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
|