add gettext to document modules

frontend/document/credocument.lua

@@ -7,7 +7,7 @@ CreOptions = {
 		options = {
 			{
 				name = "screen_mode",
-				name_text = "Screen Mode",
+				name_text = _("Screen Mode"),
 				toggle = {"portrait", "landscape"},
 				args = {"portrait", "landscape"},
 				default_arg = "portrait",
@@ -21,7 +21,7 @@ CreOptions = {
 		options = {
 			{
 				name = "line_spacing",
-				name_text = "Line Spacing",
+				name_text = _("Line Spacing"),
 				item_text = {"decrease", "increase"},
 				args = {"decrease", "increase"},
 				default_arg = nil,
@@ -50,7 +50,7 @@ CreOptions = {
 		options = {
 			{
 				name = "font_weight",
-				name_text = "Font weight",
+				name_text = _("Font weight"),
 				item_text = {"toggle bolder"},
 				-- args is indeed not used, we put here just to keep the
 				-- UI happy.
@@ -60,7 +60,7 @@ CreOptions = {
 			},
 			{
 				name = "font_gamma",
-				name_text = "Gamma",
+				name_text = _("Gamma"),
 				item_text = {"decrease", "increase"},
 				args = {"decrease", "increase"},
 				default_arg = nil,
@@ -73,7 +73,7 @@ CreOptions = {
 		options = {
 			{
 				name = "view_mode",
-				name_text = "View mode",
+				name_text = _("View mode"),
 				toggle = {"scroll", "page"},
 				values = {1, 0},
 				default_value = 0,
@@ -83,7 +83,7 @@ CreOptions = {
 			},
 			{
 				name = "embedded_css",
-				name_text = "Embedded style",
+				name_text = _("Embedded style"),
 				toggle = {"on", "off"},
 				values = {1, 0},
 				default_value = 0,

frontend/document/koptinterface.lua

@@ -11,7 +11,7 @@ KoptOptions = {
 		options = {
 			{
 				name = "screen_mode",
-				name_text = "Screen Mode",
+				name_text = _("Screen Mode"),
 				toggle = {"portrait", "landscape"},
 				args = {"portrait", "landscape"},
 				default_arg = "portrait",
@@ -25,7 +25,7 @@ KoptOptions = {
 		options = {
 			{
 				name = "trim_page",
-				name_text = "Page Crop",
+				name_text = _("Page Crop"),
 				toggle = {"auto", "manual"},
 				alternate = false,
 				values = {1, 0},
@@ -40,7 +40,7 @@ KoptOptions = {
 		options = {
 			{
 				name = "full_screen",
-				name_text = "Full Screen",
+				name_text = _("Full Screen"),
 				toggle = {"on", "off"},
 				values = {1, 0},
 				default_value = 0,
@@ -49,7 +49,7 @@ KoptOptions = {
 			},
 			{
 				name = "page_scroll",
-				name_text = "Scroll Mode",
+				name_text = _("Scroll Mode"),
 				toggle = {"on", "off"},
 				values = {1, 0},
 				default_value = 1,
@@ -58,21 +58,21 @@ KoptOptions = {
 			},
 			{
 				name = "page_margin",
-				name_text = "Page Margin",
+				name_text = _("Page Margin"),
 				toggle = {"small", "medium", "large"},
 				values = {0.06, 0.10, 0.14},
 				default_value = 0.10,
 			},
 			{
 				name = "line_spacing",
-				name_text = "Line Spacing",
+				name_text = _("Line Spacing"),
 				toggle = {"small", "medium", "large"},
 				values = {1.0, 1.2, 1.4},
 				default_value = 1.2,
 			},
 			{
 				name = "max_columns",
-				name_text = "Columns",
+				name_text = _("Columns"),
 				item_icons = {
 					"resources/icons/appbar.column.one.png",
 					"resources/icons/appbar.column.two.png",
@@ -83,7 +83,7 @@ KoptOptions = {
 			},
 			{
 				name = "justification",
-				name_text = "Text Align",
+				name_text = _("Text Align"),
 				item_icons = {
 					"resources/icons/appbar.align.auto.png",
 					"resources/icons/appbar.align.left.png",
@@ -111,7 +111,7 @@ KoptOptions = {
 			},
 			{
 				name = "font_fine_tune",
-				name_text = "Fine Tuning",
+				name_text = _("Fine Tuning"),
 				toggle = {"decrease","increase"},
 				values = {-0.05, 0.05},
 				default_value = 0.05,
@@ -127,7 +127,7 @@ KoptOptions = {
 		options = {
 			{
 				name = "contrast",
-				name_text = "Contrast",
+				name_text = _("Contrast"),
 				name_align_right = 0.2,
 				item_text = {"lightest", "lighter", "default", "darker", "darkest"},
 				item_font_size = 18,
@@ -144,7 +144,7 @@ KoptOptions = {
 		options = {
 			{
 				name = "text_wrap",
-				name_text = "Reflow",
+				name_text = _("Reflow"),
 				toggle = {"on", "off"},
 				values = {1, 0},
 				default_value = 0,
@@ -162,42 +162,42 @@ KoptOptions = {
 			},
 			{
 				name="screen_rotation",
-				name_text = "Vertical Text",
+				name_text = _("Vertical Text"),
 				toggle = {"on", "off"},
 				values = {270, 0},
 				default_value = 0,
 			},
 			{
 				name = "word_spacing",
-				name_text = "Word Gap",
+				name_text = _("Word Gap"),
 				toggle = {"small", "medium", "large"},
 				values = {0.05, 0.15, 0.375},
 				default_value = 0.15,
 			},
 			{
 				name = "defect_size",
-				name_text = "Defect Size",
+				name_text = _("Defect Size"),
 				toggle = {"small", "medium", "large"},
 				values = {0.5, 1.0, 2.0},
 				default_value = 1.0,
 			},
 			{
 				name = "quality",
-				name_text = "Render 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",
+				name_text = _("Auto Straighten"),
 				toggle = {"0 deg", "5 deg", "10 deg"},
 				values = {0, 5, 10},
 				default_value = 0,
 			},
 			{
 				name = "detect_indent",
-				name_text = "Indentation",
+				name_text = _("Indentation"),
 				toggle = {"On", "Off"},
 				values = {1, 0},
 				default_value = 1,