diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/tools/static/switchers.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Doc/tools/static/switchers.js b/Doc/tools/static/switchers.js index d885ff2..20dad93 100644 --- a/Doc/tools/static/switchers.js +++ b/Doc/tools/static/switchers.js @@ -49,6 +49,12 @@ else buf.push('<option value="' + language + '">' + title + '</option>'); }); + if (!(current_language in all_languages)) { + // In case we're browsing a language that is not yet in all_languages. + buf.push('<option value="' + current_language + '" selected="selected">' + + current_language + '</option>'); + all_languages[current_language] = current_language; + } buf.push('</select>'); return buf.join(''); } |