koptoptions: fix default margin (#10376)

Regression from #10208.
Closes #10373.
reviewable/pr10361/r1
hius07 1 year ago committed by GitHub
parent 00b3594d44
commit a5320acf4f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -107,6 +107,7 @@ In 'semi-auto' and 'manual' modes, you may need to define areas once on an odd p
values = {0.05, 0.10, 0.25, 0.40, 0.55, 0.70, 0.85, 1.00},
default_value = G_defaults:readSetting("DKOPTREADER_CONFIG_PAGE_MARGIN"),
event = "MarginUpdate",
args = {0.05, 0.10, 0.25, 0.40, 0.55, 0.70, 0.85, 1.00},
name_text_hold_callback = optionsutil.showValues,
help_text = _([[Set margins to be applied after page-crop and zoom modes are applied.]]),
more_options = true,

Loading…
Cancel
Save