show more options

pull/2/merge
chrox 12 years ago
parent 62c3e1dfec
commit 6ed1a9012b

@ -46,14 +46,6 @@ KoptOptions = {
{ {
icon = "resources/icons/appbar.column.two.large.png", icon = "resources/icons/appbar.column.two.large.png",
options = { 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 = "page_margin",
name_text = "Page Margin", name_text = "Page Margin",
@ -118,11 +110,11 @@ KoptOptions = {
event = "RedrawCurrentPage", event = "RedrawCurrentPage",
}, },
{ {
name = "word_spacing", name = "max_columns",
name_text = "Word Gap", name_text = "Columns",
item_text = {"small", "medium", "large"}, item_text = {"1","2","3","4"},
values = {0.05, 0.15, 0.375}, values = {1,2,3,4},
default_value = 0.15, default_value = 2,
}, },
{ {
name = "quality", name = "quality",
@ -130,7 +122,6 @@ KoptOptions = {
item_text = {"low", "default", "high"}, item_text = {"low", "default", "high"},
values={0.5, 0.8, 1.0}, values={0.5, 0.8, 1.0},
default_value = 0.8, default_value = 0.8,
show = false,
}, },
{ {
name = "auto_straighten", name = "auto_straighten",
@ -140,12 +131,11 @@ KoptOptions = {
default_value = 0, default_value = 0,
}, },
{ {
name = "detect_indent", name = "word_spacing",
name_text = "Indentation", name_text = "Word Gap",
item_text = {"enable","disable"}, item_text = {"small", "medium", "large"},
values = {1, 0}, values = {0.05, 0.15, 0.375},
default_value = 1, default_value = 0.15,
show = false,
}, },
{ {
name = "defect_size", name = "defect_size",
@ -153,6 +143,13 @@ KoptOptions = {
item_text = {"small","medium","large"}, item_text = {"small","medium","large"},
values = {0.5, 1.0, 2.0}, values = {0.5, 1.0, 2.0},
default_value = 1.0, default_value = 1.0,
},
{
name = "detect_indent",
name_text = "Indentation",
item_text = {"enable","disable"},
values = {1, 0},
default_value = 1,
show = false, show = false,
}, },
} }

@ -45,7 +45,7 @@ end
function MenuBarItem:onTapSelect() function MenuBarItem:onTapSelect()
self[1].invert = true self[1].invert = true
self.config:onShowConfigPanel(self.index) 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 return true
end end
@ -105,7 +105,7 @@ function ConfigOption:init()
local default_item_font_size = math.floor(20*Screen:getWidth()/600) local default_item_font_size = math.floor(20*Screen:getWidth()/600)
local default_items_spacing = math.floor(30*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_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{} local vertical_group = VerticalGroup:new{}
table.insert(vertical_group, VerticalSpan:new{ width = default_option_padding }) table.insert(vertical_group, VerticalSpan:new{ width = default_option_padding })
for c = 1, #self.options do for c = 1, #self.options do

Loading…
Cancel
Save