This commit is contained in:
Gabor Kiss-Vamosi
2021-05-30 13:51:30 +02:00

View File

@@ -20,10 +20,13 @@ function add_version_selector()
.then(res => res.text())
.then(text => {
const versions = text.split("\n").filter(version => version.trim().length > 0);
p = document.getElementById("rtd-search-form").parentElement;
let p = document.getElementById("rtd-search-form").parentElement;
p.innerHTML = `
<select name="versions" id="versions" onchange="ver_sel()" style="border-radius:5px; margin-bottom:15px">
${versions.map(version => `<option value="${version}">${version}</option>`)}
${versions.map(version => {
const versionName = (version.indexOf(".") != -1) ? version : (version + " (latest minor)");
return `<option value="${version}">${versionName}</option>`;
})}
</select>` + p.innerHTML;
});
}