diff options
| author | hallgren <hallgren@chalmers.se> | 2017-05-05 13:54:43 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2017-05-05 13:54:43 +0000 |
| commit | 6d56571d4671064f202f66fcbd34bfec78b05227 (patch) | |
| tree | af35a95b1d0789308895fadd39173ec1ef7bdc92 /src | |
| parent | 7dd171cdcc008c341c8e1cbc96143c25ffb01357 (diff) | |
minibar_translations.js: remove dead code
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/minibar_translations.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js index 66bd5bd18..e956fb9d3 100644 --- a/src/www/minibar/minibar_translations.js +++ b/src/www/minibar/minibar_translations.js @@ -225,7 +225,6 @@ Translations.prototype.show_translations=function(translationResults) { var hdr=title("Switch input language to "+langcode, button(langcode,act(lin[i]))) //hdr.disabled=lin[i].to==current.from - var btn=parsetree_button(t.tree,lin[i].to,grammar) tbody.appendChild( tr([th(hdr),show_lin(langcode,lin[i],t.tree)])); } |