tweaks on default margin sizes

pull/419/head
chrox 11 years ago
parent f38133e9b4
commit b2cc4b5b73

@ -82,9 +82,9 @@ DCREREADER_CONFIG_FONT_SIZES = {16, 20, 22, 24, 28, 32, 38, 44} -- range from 1
-- crereader margin sizes
-- margin {left, top, right, bottom} in pixels
DCREREADER_CONFIG_MARGIN_SIZES_SMALL = {6, 5, 2, 5}
DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {15, 10, 10, 10}
DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {25, 10, 20, 10}
DCREREADER_CONFIG_MARGIN_SIZES_SMALL = {3, 5, 0, 5}
DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {6, 10, 2, 10}
DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {15, 10, 10, 10}
-- gesture detector defaults
DGESDETECT_DISABLE_DOUBLE_TAP = true

Loading…
Cancel
Save