diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js index 4695375d..13b1dfa0 100644 --- a/collects/scribble/scribble-common.js +++ b/collects/scribble/scribble-common.js @@ -127,6 +127,11 @@ function PropagateLangInLink(a) { AddOnLoad(function(){ if (!cur_plt_lang) return; + var indicator = document.getElementById("langindicator"); + if (indicator) { + indicator.innerHTML = cur_plt_lang; + indicator.style.display = "block"; + } var links = document.getElementsByTagName("a"); for (var i=0; i