add toggle switch widget in config option

This commit is contained in:
chrox
2013-01-25 23:53:00 +08:00
parent b7e5921d40
commit 563fd50dc3
2 changed files with 243 additions and 65 deletions

View File

@@ -25,7 +25,9 @@ KoptOptions = {
{
name="screen_mode",
name_text = "Screen Mode",
item_text = {"portrait", "landscape"},
toggle = {"portrait", "landscape"},
values = {1, 0},
default_value = 1,
-- TODO: add screen mode changing command
}
}
@@ -36,7 +38,7 @@ KoptOptions = {
{
name="trim_page",
name_text = "Page Crop",
item_text = {"auto", "manual"},
toggle = {"auto", "manual"},
values = {1, 0},
default_value = 1,
}
@@ -48,17 +50,24 @@ KoptOptions = {
{
name = "page_margin",
name_text = "Page Margin",
item_text = {"small", "medium", "large"},
toggle = {"small", "medium", "large"},
values = {0.02, 0.06, 0.10},
default_value = 0.06,
},
{
name = "line_spacing",
name_text = "Line Spacing",
item_text = {"small", "medium", "large"},
toggle = {"small", "medium", "large"},
values = {1.0, 1.2, 1.4},
default_value = 1.2,
},
{
name = "max_columns",
name_text = "Columns",
item_text = {"1","2","3","4"},
values = {1,2,3,4},
default_value = 2,
},
{
name = "justification",
name_text = "Justification",
@@ -103,57 +112,50 @@ KoptOptions = {
{
name = "text_wrap",
name_text = "Reflow",
item_text = {"on","off"},
toggle = {"On", "Off"},
values = {1, 0},
default_value = 0,
event = "RedrawCurrentPage",
},
{
name = "max_columns",
name_text = "Columns",
item_text = {"1","2","3","4"},
values = {1,2,3,4},
default_value = 2,
},
{
name="screen_rotation",
name_text = "Vertical Text",
item_text = {"true", "false"},
values = {90, 0},
default_value = 0,
},
{
name = "quality",
name_text = "Render Quality",
item_text = {"low", "default", "high"},
values={0.5, 0.8, 1.0},
default_value = 0.8,
},
{
name = "auto_straighten",
name_text = "Auto Straighten",
item_text = {"0 deg", "5 deg", "10 deg"},
values = {0, 5, 10},
toggle = {"Off", "On"},
values = {0, 90},
default_value = 0,
},
{
name = "word_spacing",
name_text = "Word Gap",
item_text = {"small", "medium", "large"},
toggle = {"small", "medium", "large"},
values = {0.05, 0.15, 0.375},
default_value = 0.15,
},
{
name = "defect_size",
name_text = "Defect Size",
item_text = {"small","medium","large"},
toggle = {"small", "medium", "large"},
values = {0.5, 1.0, 2.0},
default_value = 1.0,
},
{
name = "quality",
name_text = "Render Quality",
toggle = {"low", "default", "high"},
values={0.5, 0.8, 1.0},
default_value = 0.8,
},
{
name = "auto_straighten",
name_text = "Auto Straighten",
toggle = {"0 deg", "5 deg", "10 deg"},
values = {0, 5, 10},
default_value = 0,
},
{
name = "detect_indent",
name_text = "Indentation",
item_text = {"enable","disable"},
toggle = {"On", "Off"},
values = {1, 0},
default_value = 1,
show = false,