|
|
@ -88,8 +88,8 @@ DCREREADER_CONFIG_DEFAULT_FONT_SIZE = 22 -- default font size
|
|
|
|
-- crereader margin sizes
|
|
|
|
-- crereader margin sizes
|
|
|
|
-- margin {left, top, right, bottom} in pixels
|
|
|
|
-- margin {left, top, right, bottom} in pixels
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_SMALL = {5, 10, 5, 10}
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_SMALL = {5, 10, 5, 10}
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {20, 15, 20, 15}
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {10, 15, 10, 15}
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {25, 20, 25, 20}
|
|
|
|
DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {20, 20, 20, 20}
|
|
|
|
|
|
|
|
|
|
|
|
-- gesture detector defaults
|
|
|
|
-- gesture detector defaults
|
|
|
|
DGESDETECT_DISABLE_DOUBLE_TAP = true
|
|
|
|
DGESDETECT_DISABLE_DOUBLE_TAP = true
|
|
|
|