diff options
| -rw-r--r-- | js/interface.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/js/interface.js b/js/interface.js index 58c89d8..677c343 100644 --- a/js/interface.js +++ b/js/interface.js @@ -450,6 +450,9 @@ var request_and_process_next = function () $("#next").html("Next"); $("#oov_tgt0").focus(); not_working(false); + if (ui_type == "g") { + DE_ui_lock = true; + } // translation mode } else { |