|
|
@ -7,6 +7,7 @@ local Screen = require("ui/screen")
|
|
|
|
local Device = require("ui/device")
|
|
|
|
local Device = require("ui/device")
|
|
|
|
local UIManager = require("ui/uimanager")
|
|
|
|
local UIManager = require("ui/uimanager")
|
|
|
|
local Event = require("ui/event")
|
|
|
|
local Event = require("ui/event")
|
|
|
|
|
|
|
|
local DEBUG = require("dbg")
|
|
|
|
local _ = require("gettext")
|
|
|
|
local _ = require("gettext")
|
|
|
|
|
|
|
|
|
|
|
|
local ReaderToc = InputContainer:new{
|
|
|
|
local ReaderToc = InputContainer:new{
|
|
|
@ -125,6 +126,17 @@ function ReaderToc:onShowToc()
|
|
|
|
width = Screen:getWidth(),
|
|
|
|
width = Screen:getWidth(),
|
|
|
|
height = Screen:getHeight(),
|
|
|
|
height = Screen:getHeight(),
|
|
|
|
is_borderless = true,
|
|
|
|
is_borderless = true,
|
|
|
|
|
|
|
|
on_close_ges = {
|
|
|
|
|
|
|
|
GestureRange:new{
|
|
|
|
|
|
|
|
ges = "two_finger_swipe",
|
|
|
|
|
|
|
|
range = Geom:new{
|
|
|
|
|
|
|
|
x = 0, y = 0,
|
|
|
|
|
|
|
|
w = Screen:getWidth(),
|
|
|
|
|
|
|
|
h = Screen:getHeight(),
|
|
|
|
|
|
|
|
},
|
|
|
|
|
|
|
|
direction = "west"
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
local menu_container = CenterContainer:new{
|
|
|
|
local menu_container = CenterContainer:new{
|
|
|
|