Fix hold duration in text/html box widgets

Fix very-long-press in DictQuickLookup that should allow
doing the query to the other domain (dict/wiki) instead
of the current one.
Similar to 7dea979.
reviewable/pr8694/r1
poire-z 2 years ago
parent f21a12360a
commit dccd0da4cc

@ -9,6 +9,7 @@ local GestureRange = require("ui/gesturerange")
local InputContainer = require("ui/widget/container/inputcontainer")
local Mupdf = require("ffi/mupdf")
local Screen = Device.screen
local TimeVal = require("ui/timeval")
local UIManager = require("ui/uimanager")
local logger = require("logger")
local util = require("util")
@ -229,7 +230,7 @@ function HtmlBoxWidget:onHoldReleaseText(callback, ges)
return false
end
local hold_duration = UIManager:getTime() - self.hold_start_tv
local hold_duration = TimeVal.now() - self.hold_start_tv
local page = self.document:openPage(self.page_number)
local lines = page:getPageText()

@ -24,6 +24,7 @@ local RenderText = require("ui/rendertext")
local RightContainer = require("ui/widget/container/rightcontainer")
local Size = require("ui/size")
local TextWidget = require("ui/widget/textwidget")
local TimeVal = require("ui/timeval")
local UIManager = require("ui/uimanager")
local Math = require("optmath")
local logger = require("logger")
@ -1858,7 +1859,7 @@ function TextBoxWidget:onHoldReleaseText(callback, ges)
return false
end
local hold_duration = UIManager:getTime() - self.hold_start_tv
local hold_duration = TimeVal.now() - self.hold_start_tv
-- If page contains an image, check if Hold is on this image and deal
-- with it directly

Loading…
Cancel
Save