tweaks on default page margins with new punctuation calculation

11 years ago · a5594e8e42
parent cde3e1d184
commit a5594e8e42
2 changed files with 4 additions and 4 deletions
--- 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
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit d63aacf0811f7c49ebda662607f6a41409537a16
+Subproject commit ab221ceb1d26500d577eaf214f73b61f2020c1a9