Make DEBUG a require()d local

pull/334/head
HW 11 years ago
parent 748a443cd5
commit 09cd5c4104

@ -4,6 +4,7 @@ local Document = require("document/document")
local Configurable = require("ui/reader/configurable") local Configurable = require("ui/reader/configurable")
local Font = require("ui/font") local Font = require("ui/font")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local DEBUG = require("dbg")
-- TBD: DrawContext -- TBD: DrawContext
local CreDocument = Document:new{ local CreDocument = Document:new{

@ -2,6 +2,8 @@ local Cache = require("cache")
local CacheItem = require("cacheitem") local CacheItem = require("cacheitem")
local TileCacheItem = require("document/tilecacheitem") local TileCacheItem = require("document/tilecacheitem")
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local Configurable = require("ui/reader/configurable")
local DEBUG = require("dbg")
--[[ --[[
This is an abstract interface to a document This is an abstract interface to a document

@ -1,4 +1,5 @@
local CacheItem = require("cacheitem") local CacheItem = require("cacheitem")
local DEBUG = require("dbg")
local TileCacheItem = CacheItem:new{} local TileCacheItem = CacheItem:new{}

@ -1,4 +1,5 @@
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local DEBUG = require("dbg")
-- Blitbuffer -- Blitbuffer
-- einkfb -- einkfb

@ -1,5 +1,5 @@
require "dbg" -- for DEBUG()
local Screen = require("ui/screen") local Screen = require("ui/screen")
local DEBUG = require("dbg")
local Font = { local Font = {
fontmap = { fontmap = {

@ -1,3 +1,5 @@
local DEBUG = require("dbg")
--[[ --[[
2D Geometry utilities 2D Geometry utilities

@ -1,6 +1,7 @@
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local TimeVal = require("ui/timeval") local TimeVal = require("ui/timeval")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local DEBUG = require("dbg")
--[[ --[[
Current detectable gestures: Current detectable gestures:

@ -4,6 +4,7 @@ local Event = require("ui/event")
local TimeVal = require("ui/timeval") local TimeVal = require("ui/timeval")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local Dbg = require("dbg") local Dbg = require("dbg")
local DEBUG = require("dbg")
-- constants from <linux/input.h> -- constants from <linux/input.h>
local EV_SYN = 0 local EV_SYN = 0

@ -11,6 +11,7 @@ local HorizontalGroup = require("ui/widget/horizontalgroup")
local BBoxWidget = require("ui/widget/bboxwidget") local BBoxWidget = require("ui/widget/bboxwidget")
local HorizontalSpan = require("ui/widget/horizontalspan") local HorizontalSpan = require("ui/widget/horizontalspan")
local Button = require("ui/widget/button") local Button = require("ui/widget/button")
local DEBUG = require("dbg")
local PageCropDialog = VerticalGroup:new{ local PageCropDialog = VerticalGroup:new{
ok_text = "OK", ok_text = "OK",

@ -3,6 +3,7 @@ local UIManager = require("ui/uimanager")
local DictQuickLookup = require("ui/widget/dictquicklookup") local DictQuickLookup = require("ui/widget/dictquicklookup")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local JSON = require("JSON") local JSON = require("JSON")
local DEBUG = require("dbg")
local ReaderDictionary = EventListener:new{} local ReaderDictionary = EventListener:new{}

@ -3,6 +3,7 @@ local InputDialog = require("ui/widget/inputdialog")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local Event = require("ui/event") local Event = require("ui/event")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderGoto = InputContainer:new{ local ReaderGoto = InputContainer:new{

@ -9,6 +9,7 @@ local Event = require("ui/event")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local ButtonTable = require("ui/widget/buttontable") local ButtonTable = require("ui/widget/buttontable")
local Input = require("ui/input") local Input = require("ui/input")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderHighlight = InputContainer:new{} local ReaderHighlight = InputContainer:new{}

@ -7,6 +7,7 @@ local Device = require("ui/device")
local Event = require("ui/event") local Event = require("ui/event")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local Math = require("optmath") local Math = require("optmath")
local DEBUG = require("dbg")
local ReaderPaging = InputContainer:new{ local ReaderPaging = InputContainer:new{
current_page = 0, current_page = 0,

@ -1,5 +1,6 @@
local InputContainer = require("ui/widget/container/inputcontainer") local InputContainer = require("ui/widget/container/inputcontainer")
local Device = require("ui/device") local Device = require("ui/device")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderPanning = InputContainer:new{ local ReaderPanning = InputContainer:new{

@ -6,6 +6,7 @@ local Input = require("ui/input")
local Event = require("ui/event") local Event = require("ui/event")
local GestureRange = require("ui/gesturerange") local GestureRange = require("ui/gesturerange")
local ReaderPanning = require("ui/reader/readerpanning") local ReaderPanning = require("ui/reader/readerpanning")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderRolling = InputContainer:new{ local ReaderRolling = InputContainer:new{

@ -1,5 +1,6 @@
local InputContainer = require("ui/widget/container/inputcontainer") local InputContainer = require("ui/widget/container/inputcontainer")
local Event = require("ui/event") local Event = require("ui/event")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
-- lfs -- lfs

@ -6,6 +6,7 @@ local ReaderDogear = require("ui/reader/readerdogear")
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local Event = require("ui/event") local Event = require("ui/event")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local DEBUG = require("dbg")
local ReaderView = OverlapGroup:new{ local ReaderView = OverlapGroup:new{
document = nil, document = nil,

@ -5,6 +5,7 @@ local Screen = require("ui/screen")
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local GestureRange = require("ui/gesturerange") local GestureRange = require("ui/gesturerange")
local Event = require("ui/event") local Event = require("ui/event")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderZooming = InputContainer:new{ local ReaderZooming = InputContainer:new{

@ -4,6 +4,7 @@ local Device = require("ui/device")
local DocSettings = require("docsettings") local DocSettings = require("docsettings")
local Event = require("ui/event") local Event = require("ui/event")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ReaderView = require("ui/reader/readerview") local ReaderView = require("ui/reader/readerview")

@ -1,5 +1,6 @@
local Cache = require("cache") local Cache = require("cache")
local CacheItem = require("cacheitem") local CacheItem = require("cacheitem")
local DEBUG = require("dbg")
--[[ --[[
TODO: all these functions should probably be methods on Face objects TODO: all these functions should probably be methods on Face objects

@ -2,6 +2,7 @@ local Device = require("ui/device")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local Input = require("ui/input") local Input = require("ui/input")
local Event = require("ui/event") local Event = require("ui/event")
local DEBUG = require("dbg")
-- initialize output module, this must be initialized before Input -- initialize output module, this must be initialized before Input
Screen:init() Screen:init()

@ -4,6 +4,7 @@ local Event = require("ui/event")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local Device = require("ui/device") local Device = require("ui/device")
local GestureRange = require("ui/gesturerange") local GestureRange = require("ui/gesturerange")
local DEBUG = require("dbg")
--[[ --[[
BBoxWidget shows a bbox for page cropping BBoxWidget shows a bbox for page cropping

@ -11,6 +11,7 @@ local Screen = require("ui/screen")
local HorizontalGroup = require("ui/widget/horizontalgroup") local HorizontalGroup = require("ui/widget/horizontalgroup")
local VerticalSpan = require("ui/widget/verticalspan") local VerticalSpan = require("ui/widget/verticalspan")
local HorizontalSpan = require("ui/widget/horizontalspan") local HorizontalSpan = require("ui/widget/horizontalspan")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
-- screen -- screen

@ -1,6 +1,7 @@
local WidgetContainer = require("ui/widget/container/widgetcontainer") local WidgetContainer = require("ui/widget/container/widgetcontainer")
local Event = require("ui/event") local Event = require("ui/event")
local Geom = require("ui/geometry") local Geom = require("ui/geometry")
local DEBUG = require("dbg")
--[[ --[[
an InputContainer is an WidgetContainer that handles input events an InputContainer is an WidgetContainer that handles input events

@ -14,6 +14,7 @@ local UIManager = require("ui/uimanager")
local ButtonTable = require("ui/widget/buttontable") local ButtonTable = require("ui/widget/buttontable")
local Device = require("ui/device") local Device = require("ui/device")
local VerticalGroup = require("ui/widget/verticalgroup") local VerticalGroup = require("ui/widget/verticalgroup")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
--[[ --[[

@ -10,6 +10,7 @@ local UIManager = require("ui/uimanager")
local Screen = require("ui/screen") local Screen = require("ui/screen")
local Device = require("ui/device") local Device = require("ui/device")
local GestureRange = require("ui/gesturerange") local GestureRange = require("ui/gesturerange")
local DEBUG = require("dbg")
local _ = require("gettext") local _ = require("gettext")
local ToggleLabel = TextWidget:new{ local ToggleLabel = TextWidget:new{

@ -14,6 +14,7 @@ local Screen = require("ui/screen")
local Device = require("ui/device") local Device = require("ui/device")
local GestureRange = require("ui/gesturerange") local GestureRange = require("ui/gesturerange")
local UIManager = require("ui/uimanager") local UIManager = require("ui/uimanager")
local DEBUG = require("dbg")
local VirtualKey = InputContainer:new{ local VirtualKey = InputContainer:new{
key = nil, key = nil,

Loading…
Cancel
Save