dmalinovsky

local Device = require("device")
local time = require("ui/time")

Device.last_key_code = 0
Device.last_key_time = 0

Device.input:registerEventAdjustHook(function(this, ev)
    if ev.type == C.EV_KEY and ev.value == 1 then -- KEY_PRESS = 1
        local now = time.now()
        local time_diff = time.to_ms(now - self.last_key_time)

dmalinovsky

-- See https://github.com/koreader/koreader/issues/13462 for the details.

local ReaderUserHyph = require("apps/reader/modules/readeruserhyph")

ReaderUserHyph.loadUserDictionary = function(self, reload)
    self:loadDictionary(self:isAvailable() and self:getDictionaryPath() or "", reload and true or false)
    self.ui:handleEvent(Event:new("UpdatePos", reload))
end

dmalinovsky

local Device = require("device")
local ReaderHighlight = require("apps/reader/modules/readerhighlight")
local util = require("util")

local init_orig = ReaderHighlight.init

ReaderHighlight.init = function(self)
  init_orig(self)
  
  self:addToHighlightDialog("08_open_url", function(this)

dmalinovsky

local ReaderFont = require("apps/reader/modules/readerfont")
local onSetFontSize_orig = ReaderFont.onSetFontSize

ReaderFont.onSetFontSize = function(self, size)
    -- Run original code
    res = onSetFontSize_orig(self, size)
  
    G_reader_settings:saveSetting("copt_font_size", size)
    return res
end

dmalinovsky

local ReaderPageMap = require("apps/reader/modules/readerpagemap")
local postInit_orig = ReaderPageMap._postInit

ReaderPageMap._postInit = function(self)
    self.ui.document:buildSyntheticPageMapIfNoneDocumentProvided(1818)

    -- Run original code
    postInit_orig(self)
end