From a5594e8e4270d0efce40fe8471406a7878332424 Mon Sep 17 00:00:00 2001 From: chrox Date: Wed, 8 Jan 2014 15:26:44 +0800 Subject: [PATCH] tweaks on default page margins with new punctuation calculation --- defaults.lua | 6 +++--- koreader-base | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/defaults.lua b/defaults.lua index b31a53928..792e0cd25 100644 --- a/defaults.lua +++ b/defaults.lua @@ -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, 10, 15, 10} -DCREREADER_CONFIG_MARGIN_SIZES_MEDIUM = {22, 15, 22, 15} -DCREREADER_CONFIG_MARGIN_SIZES_LARGE = {30, 20, 30, 20} +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} -- gesture detector defaults DGESDETECT_DISABLE_DOUBLE_TAP = true diff --git a/koreader-base b/koreader-base index d63aacf08..ab221ceb1 160000 --- a/koreader-base +++ b/koreader-base @@ -1 +1 @@ -Subproject commit d63aacf0811f7c49ebda662607f6a41409537a16 +Subproject commit ab221ceb1d26500d577eaf214f73b61f2020c1a9