diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js index f20fd96c5..0af966fe1 100644 --- a/src/runtime/javascript/minibar/minibar.js +++ b/src/runtime/javascript/minibar/minibar.js @@ -334,7 +334,7 @@ function show_groupedtranslations(translations) { if(to=="-1" || t.to==to) { var lin=t.linearizations; var tbody=empty("tbody"); - /*if(to=="-1")*/ + if(to=="-1") tbody.appendChild(tr([th(text(t.to+":"))])); for(var i=0;i