mii/tokenizers
1
0
Fork 0
mirror of https://github.com/mii443/tokenizers.git synced 2025-09-01 14:59:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Doc - Always go to latest when switching language

Browse Source
This commit is contained in:
Anthony MOI
2020-10-05 15:06:41 -04:00
committed by Anthony MOI
parent 55e67c9bc1
commit 799954973d
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
docs/source/_static/js/custom.js
View File

@ -130,8 +130,14 @@ function addVersionControl() {
const languageMenu = document.createElement("div"); const languageMenu = document.createElement("div");
languageMenu.classList.add("menu-dropdown"); languageMenu.classList.add("menu-dropdown");
languageMenu.innerHTML = languages.map((lang) => { languageMenu.innerHTML = languages.map((lang) => {
let isVersion = false;
let updatedParts = parts.map((l, i) => { let updatedParts = parts.map((l, i) => {
if (isVersion) {
isVersion = false;
return 'latest';
}
if (i == languageIndex) { if (i == languageIndex) {
isVersion = true;
return lang; return lang;
} else { } else {
return l; return l;