diff options
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 2 |
1 files changed, 1 insertions, 1 deletions
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<lin.length;i++) { tbody.appendChild(tr([(text(lin[i].text))])); |