mirror of
https://github.com/koreader/koreader
synced 2024-10-31 21:20:20 +00:00
Merge pull request #444 from chrox/master
tweaks on default page margins with new punctuation calculation
This commit is contained in:
commit
d0c2b49ff9
@ -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
|
||||
|
@ -1 +1 @@
|
||||
Subproject commit d63aacf0811f7c49ebda662607f6a41409537a16
|
||||
Subproject commit ab221ceb1d26500d577eaf214f73b61f2020c1a9
|
Loading…
Reference in New Issue
Block a user