From a5320acf4f9cc6e862610e749dd71eb51c8b6383 Mon Sep 17 00:00:00 2001 From: hius07 <62179190+hius07@users.noreply.github.com> Date: Mon, 1 May 2023 11:09:06 +0300 Subject: [PATCH] koptoptions: fix default margin (#10376) Regression from #10208. Closes #10373. --- frontend/ui/data/koptoptions.lua | 1 + 1 file changed, 1 insertion(+) diff --git a/frontend/ui/data/koptoptions.lua b/frontend/ui/data/koptoptions.lua index 8a3429bd7..daaa7b608 100644 --- a/frontend/ui/data/koptoptions.lua +++ b/frontend/ui/data/koptoptions.lua @@ -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,