adjust default page margins

pull/439/head
chrox 11 years ago
parent 1cad93338a
commit ae9b68e1b9

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

@ -90,7 +90,7 @@ local CreOptions = {
},
{
name = "font_gamma",
name_text = S.GAMMA,
name_text = S.CONTRAST,
toggle = {S.DECREASE, S.INCREASE},
alternate = false,
args = {"decrease", "increase"},

Loading…
Cancel
Save