From 6d56571d4671064f202f66fcbd34bfec78b05227 Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 5 May 2017 13:54:43 +0000 Subject: [PATCH] minibar_translations.js: remove dead code --- src/www/minibar/minibar_translations.js | 1 - 1 file changed, 1 deletion(-) 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)])); }