Skip to content

Commit 52bb36d

Browse files
guards around installing new version
1 parent 43d70ff commit 52bb36d

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

scripts/web_startup.js

+2
Original file line numberDiff line numberDiff line change
@@ -95,12 +95,14 @@ function render() {
9595
}
9696

9797
async function switch_version() {
98+
source.setAttribute("disabled", true);
9899
info("Installing Schemascii version " + ver_switcher.value + "... ")
99100
await pyodide.pyimport("micropip").install(ver_map[ver_switcher.value]);
100101
monkeypatch();
101102
schemascii = pyodide.runPython("import schemascii\nschemascii");
102103
info("done\n");
103104
output.innerHTML = "";
105+
source.removeAttribute("disabled");
104106
}
105107

106108
function download() {

0 commit comments

Comments
 (0)