Translator: translate current page (#10438)

This commit is contained in:
hius07
2023-05-17 07:34:37 +03:00
committed by GitHub
parent 946f7931ae
commit 3dce41269d
9 changed files with 233 additions and 137 deletions

View File

@@ -672,8 +672,13 @@ function CreDocument:getWordFromPosition(pos)
]]--
end
function CreDocument:getTextFromPositions(pos0, pos1)
local text_range = self._document:getTextFromPositions(pos0.x, pos0.y, pos1.x, pos1.y)
function CreDocument:getTextFromPositions(pos0, pos1, do_not_draw_selection)
local drawSelection, drawSegmentedSelection
if do_not_draw_selection then
drawSelection, drawSegmentedSelection = false, false
end
local text_range = self._document:getTextFromPositions(pos0.x, pos0.y, pos1.x, pos1.y,
drawSelection, drawSegmentedSelection)
logger.dbg("CreDocument: get text range", text_range)
if text_range then
-- local line_boxes = self:getScreenBoxesFromPositions(text_range.pos0, text_range.pos1)