diff options
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.js')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index 27cd75476..94796ef35 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -348,10 +348,10 @@ function show_translations(translationResults) { cnt>1 ? ""+cnt+" translations:": "One translation:"))); for(p=0;p<cnt;p++) { - var tr=translationResults[p]; - if (tr.translations != null) { - for (q = 0; q < tr.translations.length; q++) { - var t = tr.translations[q]; + var tra=translationResults[p]; + if (tra.translations != null) { + for (q = 0; q < tra.translations.length; q++) { + var t = tra.translations[q]; var lin=t.linearizations; var tbody=empty("tbody"); if(options.show_abstract && t.tree) |