Skip to content

Instantly share code, notes, and snippets.

local readerFooter = require("apps/reader/modules/readerfooter")
local ProgressWidget = require("ui/widget/progresswidget")
local BD = require("ui/bidi")
local Blitbuffer = require("ffi/blitbuffer")
local Geom = require("ui/geometry")
local Math = require("optmath")
local Screen = require("device").screen
-- Threshold for initial position marker
local INITIAL_MARKER_HEIGHT_THRESHOLD = Screen:scaleBySize(12)