From 63ddc3dd047b525b54956ee5b8bc1f64802e084f Mon Sep 17 00:00:00 2001 From: chrox Date: Thu, 16 Jan 2014 18:32:09 +0800 Subject: [PATCH] tweaks on default page margins --- defaults.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/defaults.lua b/defaults.lua index 4a0ffd962..85feb4ad1 100644 --- a/defaults.lua +++ b/defaults.lua @@ -88,8 +88,8 @@ DCREREADER_CONFIG_DEFAULT_FONT_SIZE = 22 -- default font size -- crereader margin sizes -- margin {left, top, right, bottom} in pixels DCREREADER_CONFIG_MARGIN_SIZES_SMALL = {5, 10, 5, 10} -DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {20, 15, 20, 15} -DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {25, 20, 25, 20} +DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {10, 15, 10, 15} +DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {20, 20, 20, 20} -- gesture detector defaults DGESDETECT_DISABLE_DOUBLE_TAP = true