Merge pull request #107 from radarhere/docs-activate-tab

This commit is contained in:
Hugo van Kemenade 2023-11-28 11:48:47 +02:00 committed by GitHub
commit 6d90f987d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 14 deletions

View File

@ -166,6 +166,8 @@ html_static_path = ["resources"]
# directly to the root of the documentation.
# html_extra_path = []
html_css_files = ["css/dark.css"]
html_js_files = [
"js/activate_tab.js",
]
@ -317,10 +319,6 @@ texinfo_documents = [
# texinfo_no_detailmenu = False
def setup(app):
app.add_css_file("css/dark.css")
linkcheck_allowed_redirects = {
r"https://www.bestpractices.dev/projects/6331": r"https://www.bestpractices.dev/en/.*",
r"https://badges.gitter.im/python-pillow/Pillow.svg": r"https://badges.gitter.im/repo.svg",

View File

@ -1,16 +1,12 @@
// Based on https://stackoverflow.com/a/38241481/724176
function getOS() {
const userAgent = window.navigator.userAgent,
platform =
window.navigator?.userAgentData?.platform || window.navigator.platform,
platform = window.navigator.userAgentData?.platform || window.navigator.platform,
macosPlatforms = ["macOS", "Macintosh", "MacIntel", "MacPPC", "Mac68K"],
windowsPlatforms = ["Win32", "Win64", "Windows", "WinCE"],
iosPlatforms = ["iPhone", "iPad", "iPod"];
windowsPlatforms = ["Win32", "Win64", "Windows", "WinCE"];
if (macosPlatforms.includes(platform)) {
return "macOS";
} else if (iosPlatforms.includes(platform)) {
return "iOS";
} else if (windowsPlatforms.includes(platform)) {
return "Windows";
} else if (/Android/.test(userAgent)) {
@ -18,17 +14,15 @@ function getOS() {
} else if (/Linux/.test(platform)) {
return "Linux";
}
return "unknown";
}
function activateTab(tabName) {
// Find all label elements containing the specified tab name
// Find all label elements with the specified tab name
const labels = document.querySelectorAll(".tab-label");
labels.forEach((label) => {
if (label.textContent == tabName) {
// Find the associated input element using the 'for' attribute
// Find the associated input element using the "for" attribute
const tabInputId = label.getAttribute("for");
const tabInput = document.getElementById(tabInputId);