mirror of
https://github.com/koreader/koreader
synced 2024-11-16 06:12:56 +00:00
109 lines
3.2 KiB
Lua
109 lines
3.2 KiB
Lua
local InputContainer = require("ui/widget/container/inputcontainer")
|
|
local TextBoxWidget = require("ui/widget/textboxwidget")
|
|
local VerticalScrollBar = require("ui/widget/verticalscrollbar")
|
|
local Geom = require("ui/geometry")
|
|
local GestureRange = require("ui/gesturerange")
|
|
local UIManager = require("ui/uimanager")
|
|
local Device = require("device")
|
|
local Screen = Device.screen
|
|
local Input = Device.input
|
|
local HorizontalGroup = require("ui/widget/horizontalgroup")
|
|
local HorizontalSpan = require("ui/widget/horizontalspan")
|
|
local Blitbuffer = require("ffi/blitbuffer")
|
|
|
|
--[[
|
|
Text widget with vertical scroll bar
|
|
--]]
|
|
local ScrollTextWidget = InputContainer:new{
|
|
text = nil,
|
|
charlist = nil,
|
|
charpos = nil,
|
|
editable = false,
|
|
face = nil,
|
|
fgcolor = Blitbuffer.COLOR_BLACK,
|
|
width = 400,
|
|
height = 20,
|
|
scroll_bar_width = Screen:scaleBySize(6),
|
|
text_scroll_span = Screen:scaleBySize(6),
|
|
dialog = nil,
|
|
}
|
|
|
|
function ScrollTextWidget:init()
|
|
self.text_widget = TextBoxWidget:new{
|
|
text = self.text,
|
|
charlist = self.charlist,
|
|
charpos = self.charpos,
|
|
editable = self.editable,
|
|
face = self.face,
|
|
fgcolor = self.fgcolor,
|
|
width = self.width - self.scroll_bar_width - self.text_scroll_span,
|
|
height = self.height
|
|
}
|
|
local visible_line_count = self.text_widget:getVisLineCount()
|
|
local total_line_count = self.text_widget:getAllLineCount()
|
|
self.v_scroll_bar = VerticalScrollBar:new{
|
|
enable = visible_line_count < total_line_count,
|
|
low = 0,
|
|
high = visible_line_count/total_line_count,
|
|
width = self.scroll_bar_width,
|
|
height = self.height,
|
|
}
|
|
local horizontal_group = HorizontalGroup:new{}
|
|
table.insert(horizontal_group, self.text_widget)
|
|
table.insert(horizontal_group, HorizontalSpan:new{self.text_scroll_span})
|
|
table.insert(horizontal_group, self.v_scroll_bar)
|
|
self[1] = horizontal_group
|
|
self.dimen = Geom:new(self[1]:getSize())
|
|
if Device:isTouchDevice() then
|
|
self.ges_events = {
|
|
ScrollText = {
|
|
GestureRange:new{
|
|
ges = "swipe",
|
|
range = function() return self.dimen end,
|
|
},
|
|
},
|
|
}
|
|
end
|
|
if Device:hasKeyboard() or Device:hasKeys() then
|
|
self.key_events = {
|
|
ScrollDown = {{Input.group.PgFwd}, doc = "scroll down"},
|
|
ScrollUp = {{Input.group.PgBack}, doc = "scroll up"},
|
|
}
|
|
end
|
|
end
|
|
|
|
function ScrollTextWidget:scrollText(direction)
|
|
if direction == 0 then return end
|
|
local low, high
|
|
if direction > 0 then
|
|
low, high = self.text_widget:scrollDown()
|
|
else
|
|
low, high = self.text_widget:scrollUp()
|
|
end
|
|
self.v_scroll_bar:set(low, high)
|
|
UIManager:setDirty(self.dialog, function()
|
|
return "partial", self.dimen
|
|
end)
|
|
end
|
|
|
|
function ScrollTextWidget:onScrollText(arg, ges)
|
|
if ges.direction == "north" then
|
|
self:scrollText(1)
|
|
elseif ges.direction == "south" then
|
|
self:scrollText(-1)
|
|
end
|
|
return true
|
|
end
|
|
|
|
function ScrollTextWidget:onScrollDown()
|
|
self:scrollText(1)
|
|
return true
|
|
end
|
|
|
|
function ScrollTextWidget:onScrollUp()
|
|
self:scrollText(-1)
|
|
return true
|
|
end
|
|
|
|
return ScrollTextWidget
|