diff --git a/frontend/document/koptinterface.lua b/frontend/document/koptinterface.lua index 2f14c8bde..3c3dc52f5 100644 --- a/frontend/document/koptinterface.lua +++ b/frontend/document/koptinterface.lua @@ -46,14 +46,6 @@ KoptOptions = { { icon = "resources/icons/appbar.column.two.large.png", options = { - { - name = "max_columns", - name_text = "Columns", - item_text = {"1","2","3","4"}, - values = {1,2,3,4}, - default_value = 2, - show = false - }, { name = "page_margin", name_text = "Page Margin", @@ -118,11 +110,11 @@ KoptOptions = { event = "RedrawCurrentPage", }, { - name = "word_spacing", - name_text = "Word Gap", - item_text = {"small", "medium", "large"}, - values = {0.05, 0.15, 0.375}, - default_value = 0.15, + name = "max_columns", + name_text = "Columns", + item_text = {"1","2","3","4"}, + values = {1,2,3,4}, + default_value = 2, }, { name = "quality", @@ -130,7 +122,6 @@ KoptOptions = { item_text = {"low", "default", "high"}, values={0.5, 0.8, 1.0}, default_value = 0.8, - show = false, }, { name = "auto_straighten", @@ -140,12 +131,11 @@ KoptOptions = { default_value = 0, }, { - name = "detect_indent", - name_text = "Indentation", - item_text = {"enable","disable"}, - values = {1, 0}, - default_value = 1, - show = false, + name = "word_spacing", + name_text = "Word Gap", + item_text = {"small", "medium", "large"}, + values = {0.05, 0.15, 0.375}, + default_value = 0.15, }, { name = "defect_size", @@ -153,6 +143,13 @@ KoptOptions = { item_text = {"small","medium","large"}, values = {0.5, 1.0, 2.0}, default_value = 1.0, + }, + { + name = "detect_indent", + name_text = "Indentation", + item_text = {"enable","disable"}, + values = {1, 0}, + default_value = 1, show = false, }, } diff --git a/frontend/ui/config.lua b/frontend/ui/config.lua index 589963e12..485abcc12 100644 --- a/frontend/ui/config.lua +++ b/frontend/ui/config.lua @@ -45,7 +45,7 @@ end function MenuBarItem:onTapSelect() self[1].invert = true self.config:onShowConfigPanel(self.index) - UIManager:scheduleIn(1.0, function() self:invert(false) end) + UIManager:scheduleIn(0.5, function() self:invert(false) end) return true end @@ -105,7 +105,7 @@ function ConfigOption:init() local default_item_font_size = math.floor(20*Screen:getWidth()/600) local default_items_spacing = math.floor(30*Screen:getWidth()/600) local default_option_height = math.floor(40*Screen:getWidth()/600) - local default_option_padding = math.floor(50*Screen:getWidth()/600) + local default_option_padding = math.floor(40*Screen:getWidth()/600) local vertical_group = VerticalGroup:new{} table.insert(vertical_group, VerticalSpan:new{ width = default_option_padding }) for c = 1, #self.options do