diff options
| author | hallgren <hallgren@chalmers.se> | 2015-12-10 14:23:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-12-10 14:23:19 +0000 |
| commit | bc644e643b05b9c2da402367ef7be20f4cafb247 (patch) | |
| tree | 00b9d26a07e6e6c9ae4162631461dabd36fcfe99 /src | |
| parent | 76bebb0656200e829bc14a3e11a7752a2c747be1 (diff) | |
Simple Translation Tool: bug fix
"File/Open In Wide Coverage Translation Demo" stopped working when support
for using different grammars in the Wide Coverage Translation Demo was added
On September 2.
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/translator/translator.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js index 105f41f67..7e2cf3dd9 100644 --- a/src/www/translator/translator.js +++ b/src/www/translator/translator.js @@ -738,7 +738,7 @@ Translator.prototype.open_in_wc=function(el) { hide_menu(el) var doc=t.document var sourcetext=doc.segments.map(function(s){return s.source}).join(" ") - var wc=appLocalStorage("gf.wc.") + var wc=appLocalStorage("gf.wc."+gftranslate.grammar+".") wc.put("from",doc.options.from) wc.put("to",doc.options.to) wc.put("input",sourcetext) |