diff --git a/src/main/javadoc/version-switcher.js b/src/main/javadoc/version-switcher.js index ed2103c5..f9b16e4c 100644 --- a/src/main/javadoc/version-switcher.js +++ b/src/main/javadoc/version-switcher.js @@ -76,4 +76,14 @@ document.addEventListener("DOMContentLoaded", () => { } updateSelects(options); }); + + globalThis.addEventListener('pageshow', (e) => { + if (e.persisted) { + document.querySelectorAll('select#version-switcher').forEach(switcher => { + switcher.removeAttribute('disabled'); + switcher.removeAttribute('aria-busy'); + switcher.setAttribute('title', 'Select documentation version'); + }); + } + }); });