From ad02f690dcbd6983515aff90d750129efd4f137d Mon Sep 17 00:00:00 2001 From: Patrick Simianer
Date: Mon, 4 Jul 2016 08:38:03 +0200 Subject: inc/help.inc.php: new shortcuts --- inc/help.inc.php | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/inc/help.inc.php b/inc/help.inc.php index 86ddf70..121c087 100644 --- a/inc/help.inc.php +++ b/inc/help.inc.php @@ -9,18 +9,20 @@
Instructions for the graphical interface:
Mark all phrases as finished (phrases are highlighted in dark gray color) and press 'Next' to submit a post-edition in the graphical interface. Keyboard interface:
The interface was tested with Firefox 31, 38 and 43.
+While editing text, you can press CTRL+<left/right arrows> to move the curose word-wise.
+ +The interface was tested with Firefox 31, 38, 43 and 45.
Source: n/a
+Target: n/a
+Date: Mon, 4 Jul 2016 08:38:56 +0200 Subject: js/interface.js: show source and target --- js/interface.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/js/interface.js b/js/interface.js index 677c343..ec36af7 100644 --- a/js/interface.js +++ b/js/interface.js @@ -460,6 +460,8 @@ var request_and_process_next = function () $("#textboxes").fadeTo(200,1); } else { $("#derivation_editor").fadeTo(200,1); + $("#de_source").text(data["raw_source"]); + $("#de_original_mt").text(data["transl_detok"]); } var id = data["progress"]; @@ -555,7 +557,8 @@ var reset = function () //TEXT_count_kbd = 0; $("#target_textarea").val($("#original_mt").val()); } else if (ui_type == "g") { - DE_init(false) + DE_init(false); + DE_update_str(); } } -- cgit v1.2.3 From a7f0599e3d2b6621872a428870ce8bdd15e8f004 Mon Sep 17 00:00:00 2001 From: Patrick Simianer
Date: Mon, 4 Jul 2016 08:39:03 +0200 Subject: g --- index.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index.php b/index.php index b2a810f..5b6f33f 100644 --- a/index.php +++ b/index.php @@ -28,8 +28,8 @@ Session type: -- cgit v1.2.3