js/interface.js: show source and target

1 files changed, 4 insertions, 1 deletions

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();
   }
 }