diff --git a/src/www/js/wc.js b/src/www/js/wc.js index 9479fc802..422bbc623 100644 --- a/src/www/js/wc.js +++ b/src/www/js/wc.js @@ -61,7 +61,9 @@ wc.load=function() { } } -wc.translate=function() { +wc.translate=function(redo) { + // redo=true => discard translated segment cache and resubmit translation + // requests to the server (browser cache may still be used) var f=wc.f, e=wc.e, p=wc.p /* @@ -267,13 +269,18 @@ wc.translate=function() { } if(ix input { float: right; }
-
+