larger page margin as a workaround to fix #1422

pull/1448/head
chrox 9 years ago
parent f92da6c14c
commit 83cad1c61c

@ -62,7 +62,7 @@ local KoptOptions = {
name = "page_margin",
name_text = S.PAGE_MARGIN,
toggle = {S.SMALL, S.MEDIUM, S.LARGE},
values = {0.05, 0.10, 0.15},
values = {0.05, 0.10, 0.25},
default_value = DKOPTREADER_CONFIG_PAGE_MARGIN,
event = "MarginUpdate",
},

Loading…
Cancel
Save