2018-01-07 19:24:15 +00:00
|
|
|
--[[--
|
|
|
|
|
HTML widget (without scroll bars).
|
|
|
|
|
--]]
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
local Device = require("device")
|
2018-01-07 19:24:15 +00:00
|
|
|
local DrawContext = require("ffi/drawcontext")
|
|
|
|
|
local Geom = require("ui/geometry")
|
2018-01-15 22:51:43 +00:00
|
|
|
local GestureRange = require("ui/gesturerange")
|
2018-01-07 19:24:15 +00:00
|
|
|
local InputContainer = require("ui/widget/container/inputcontainer")
|
|
|
|
|
local Mupdf = require("ffi/mupdf")
|
2019-02-18 07:20:42 +00:00
|
|
|
local Screen = Device.screen
|
2018-01-07 19:24:15 +00:00
|
|
|
local TimeVal = require("ui/timeval")
|
2018-01-09 20:38:49 +00:00
|
|
|
local logger = require("logger")
|
|
|
|
|
local util = require("util")
|
2018-01-07 19:24:15 +00:00
|
|
|
|
|
|
|
|
local HtmlBoxWidget = InputContainer:new{
|
|
|
|
|
bb = nil,
|
|
|
|
|
dimen = nil,
|
|
|
|
|
document = nil,
|
|
|
|
|
page_count = 0,
|
|
|
|
|
page_number = 1,
|
|
|
|
|
hold_start_pos = nil,
|
|
|
|
|
hold_start_tv = nil,
|
2018-01-15 22:51:43 +00:00
|
|
|
html_link_tapped_callback = nil,
|
2018-01-07 19:24:15 +00:00
|
|
|
}
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
function HtmlBoxWidget:init()
|
|
|
|
|
if Device:isTouchDevice() then
|
|
|
|
|
self.ges_events = {
|
|
|
|
|
TapText = {
|
|
|
|
|
GestureRange:new{
|
|
|
|
|
ges = "tap",
|
|
|
|
|
range = function() return self.dimen end,
|
|
|
|
|
},
|
|
|
|
|
},
|
|
|
|
|
}
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-07 19:24:15 +00:00
|
|
|
function HtmlBoxWidget:setContent(body, css, default_font_size)
|
|
|
|
|
-- fz_set_user_css is tied to the context instead of the document so to easily support multiple
|
|
|
|
|
-- HTML dictionaries with different CSS, we embed the stylesheet into the HTML instead of using
|
|
|
|
|
-- that function.
|
|
|
|
|
local head = ""
|
|
|
|
|
if css then
|
|
|
|
|
head = string.format("<head><style>%s</style></head>", css)
|
|
|
|
|
end
|
|
|
|
|
local html = string.format("<html>%s<body>%s</body></html>", head, body)
|
|
|
|
|
|
|
|
|
|
-- For some reason in MuPDF <br/> always creates both a line break and an empty line, so we have to
|
|
|
|
|
-- simulate the normal <br/> behavior.
|
|
|
|
|
-- https://bugs.ghostscript.com/show_bug.cgi?id=698351
|
|
|
|
|
html = html:gsub("%<br ?/?%>", " <div></div>")
|
|
|
|
|
|
|
|
|
|
local ok
|
|
|
|
|
ok, self.document = pcall(Mupdf.openDocumentFromText, html, "html")
|
|
|
|
|
if not ok then
|
|
|
|
|
-- self.document contains the error
|
|
|
|
|
logger.warn("HTML loading error:", self.document)
|
|
|
|
|
|
|
|
|
|
body = util.htmlToPlainText(body)
|
|
|
|
|
body = util.htmlEscape(body)
|
|
|
|
|
-- Normally \n would be replaced with <br/>. See the previous comment regarding the bug in MuPDF.
|
|
|
|
|
body = body:gsub("\n", " <div></div>")
|
|
|
|
|
html = string.format("<html>%s<body>%s</body></html>", head, body)
|
|
|
|
|
|
|
|
|
|
ok, self.document = pcall(Mupdf.openDocumentFromText, html, "html")
|
|
|
|
|
if not ok then
|
|
|
|
|
error(self.document)
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
self.document:layoutDocument(self.dimen.w, self.dimen.h, default_font_size)
|
|
|
|
|
|
|
|
|
|
self.page_count = self.document:getPages()
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:_render()
|
|
|
|
|
if self.bb then
|
|
|
|
|
return
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-09 20:38:49 +00:00
|
|
|
-- In pdfdocument.lua, color is activated only at the moment of
|
|
|
|
|
-- rendering and then immediately disabled, for safety with kopt.
|
|
|
|
|
-- We do the same here.
|
2019-02-18 07:20:42 +00:00
|
|
|
Mupdf.color = Screen:isColorEnabled()
|
2018-01-09 20:38:49 +00:00
|
|
|
|
2018-01-07 19:24:15 +00:00
|
|
|
local page = self.document:openPage(self.page_number)
|
|
|
|
|
local dc = DrawContext.new()
|
|
|
|
|
self.bb = page:draw_new(dc, self.dimen.w, self.dimen.h, 0, 0)
|
|
|
|
|
page:close()
|
2018-01-09 20:38:49 +00:00
|
|
|
|
|
|
|
|
Mupdf.color = false
|
2018-01-07 19:24:15 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:getSize()
|
|
|
|
|
return self.dimen
|
|
|
|
|
end
|
|
|
|
|
|
2018-10-10 16:50:24 +00:00
|
|
|
function HtmlBoxWidget:getSinglePageHeight()
|
|
|
|
|
if self.page_count == 1 then
|
|
|
|
|
local page = self.document:openPage(1)
|
|
|
|
|
local x0, y0, x1, y1 = page:getUsedBBox() -- luacheck: no unused
|
|
|
|
|
page:close()
|
|
|
|
|
return math.ceil(y1) -- no content after y1
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-07 19:24:15 +00:00
|
|
|
function HtmlBoxWidget:paintTo(bb, x, y)
|
|
|
|
|
self.dimen.x = x
|
|
|
|
|
self.dimen.y = y
|
|
|
|
|
|
|
|
|
|
self:_render()
|
|
|
|
|
|
|
|
|
|
local size = self:getSize()
|
|
|
|
|
|
|
|
|
|
bb:blitFrom(self.bb, x, y, 0, 0, size.w, size.h)
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:freeBb()
|
|
|
|
|
if self.bb and self.bb.free then
|
|
|
|
|
self.bb:free()
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
self.bb = nil
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
-- This will normally be called by our WidgetContainer:free()
|
|
|
|
|
-- But it SHOULD explicitly be called if we are getting replaced
|
|
|
|
|
-- (ie: in some other widget's update()), to not leak memory with
|
|
|
|
|
-- BlitBuffer zombies
|
|
|
|
|
function HtmlBoxWidget:free()
|
|
|
|
|
self:freeBb()
|
|
|
|
|
|
2018-01-09 20:38:49 +00:00
|
|
|
if self.document then
|
|
|
|
|
self.document:close()
|
|
|
|
|
self.document = nil
|
|
|
|
|
end
|
2018-01-07 19:24:15 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:onCloseWidget()
|
|
|
|
|
-- free when UIManager:close() was called
|
|
|
|
|
self:free()
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
function HtmlBoxWidget:getPosFromAbsPos(abs_pos)
|
|
|
|
|
local pos = Geom:new{
|
|
|
|
|
x = abs_pos.x - self.dimen.x,
|
|
|
|
|
y = abs_pos.y - self.dimen.y,
|
2018-01-07 19:24:15 +00:00
|
|
|
}
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
-- check if the coordinates are actually inside our area
|
|
|
|
|
if pos.x < 0 or pos.x >= self.dimen.w or pos.y < 0 or pos.y >= self.dimen.h then
|
|
|
|
|
return nil
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
return pos
|
|
|
|
|
end
|
|
|
|
|
|
2018-03-07 14:59:59 +00:00
|
|
|
function HtmlBoxWidget:onHoldStartText(_, ges)
|
2018-01-15 22:51:43 +00:00
|
|
|
self.hold_start_pos = self:getPosFromAbsPos(ges.pos)
|
2018-03-05 20:27:55 +00:00
|
|
|
|
|
|
|
|
if not self.hold_start_pos then
|
|
|
|
|
return false -- let event be processed by other widgets
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-07 19:24:15 +00:00
|
|
|
self.hold_start_tv = TimeVal.now()
|
|
|
|
|
|
2018-03-07 14:59:59 +00:00
|
|
|
return true
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:onHoldPan(_, ges)
|
|
|
|
|
-- We don't highlight the currently selected text, but just let this
|
|
|
|
|
-- event pop up if we are not currently selecting text
|
|
|
|
|
if not self.hold_start_pos then
|
|
|
|
|
return false
|
2018-03-05 20:27:55 +00:00
|
|
|
end
|
2018-01-07 19:24:15 +00:00
|
|
|
return true
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:getSelectedText(lines, start_pos, end_pos)
|
|
|
|
|
local found_start = false
|
|
|
|
|
local words = {}
|
|
|
|
|
|
|
|
|
|
for _, line in pairs(lines) do
|
|
|
|
|
for _, w in pairs(line) do
|
|
|
|
|
if type(w) == 'table' then
|
2018-01-27 14:11:46 +00:00
|
|
|
if not found_start then
|
|
|
|
|
if start_pos.x >= w.x0 and start_pos.x < w.x1 and start_pos.y >= w.y0 and start_pos.y < w.y1 then
|
|
|
|
|
found_start = true
|
|
|
|
|
elseif end_pos.x >= w.x0 and end_pos.x < w.x1 and end_pos.y >= w.y0 and end_pos.y < w.y1 then
|
|
|
|
|
-- We found end_pos before start_pos, switch them
|
|
|
|
|
found_start = true
|
|
|
|
|
start_pos, end_pos = end_pos, start_pos
|
|
|
|
|
end
|
2018-01-07 19:24:15 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
if found_start then
|
|
|
|
|
table.insert(words, w.word)
|
|
|
|
|
|
|
|
|
|
-- Found the end.
|
|
|
|
|
if end_pos.x >= w.x0 and end_pos.x < w.x1 and end_pos.y >= w.y0 and end_pos.y < w.y1 then
|
|
|
|
|
return words
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
return words
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:onHoldReleaseText(callback, ges)
|
|
|
|
|
if not callback then
|
|
|
|
|
return false
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
-- check we have seen a HoldStart event
|
|
|
|
|
if not self.hold_start_pos then
|
|
|
|
|
return false
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
local start_pos = self.hold_start_pos
|
|
|
|
|
self.hold_start_pos = nil
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
local end_pos = self:getPosFromAbsPos(ges.pos)
|
|
|
|
|
if not end_pos then
|
2018-01-07 19:24:15 +00:00
|
|
|
return false
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
local hold_duration = TimeVal.now() - self.hold_start_tv
|
|
|
|
|
hold_duration = hold_duration.sec + (hold_duration.usec/1000000)
|
|
|
|
|
|
|
|
|
|
local page = self.document:openPage(self.page_number)
|
|
|
|
|
local lines = page:getPageText()
|
|
|
|
|
page:close()
|
|
|
|
|
|
|
|
|
|
local words = self:getSelectedText(lines, start_pos, end_pos)
|
|
|
|
|
local selected_text = table.concat(words, " ")
|
|
|
|
|
callback(selected_text, hold_duration)
|
|
|
|
|
|
|
|
|
|
return true
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-15 22:51:43 +00:00
|
|
|
function HtmlBoxWidget:getLinkByPosition(pos)
|
|
|
|
|
local page = self.document:openPage(self.page_number)
|
|
|
|
|
local links = page:getPageLinks()
|
|
|
|
|
page:close()
|
|
|
|
|
|
|
|
|
|
for _, link in pairs(links) do
|
|
|
|
|
if pos.x >= link.x0 and pos.x < link.x1 and pos.y >= link.y0 and pos.y < link.y1 then
|
|
|
|
|
return link
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
function HtmlBoxWidget:onTapText(arg, ges)
|
|
|
|
|
if G_reader_settings:isFalse("tap_to_follow_links") then
|
|
|
|
|
return
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
if self.html_link_tapped_callback then
|
|
|
|
|
local pos = self:getPosFromAbsPos(ges.pos)
|
|
|
|
|
if pos then
|
|
|
|
|
local link = self:getLinkByPosition(pos)
|
|
|
|
|
if link then
|
|
|
|
|
self.html_link_tapped_callback(link)
|
|
|
|
|
return true
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
2018-01-07 19:24:15 +00:00
|
|
|
return HtmlBoxWidget
|
