We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 43d70ff commit 52bb36dCopy full SHA for 52bb36d
scripts/web_startup.js
@@ -95,12 +95,14 @@ function render() {
95
}
96
97
async function switch_version() {
98
+ source.setAttribute("disabled", true);
99
info("Installing Schemascii version " + ver_switcher.value + "... ")
100
await pyodide.pyimport("micropip").install(ver_map[ver_switcher.value]);
101
monkeypatch();
102
schemascii = pyodide.runPython("import schemascii\nschemascii");
103
info("done\n");
104
output.innerHTML = "";
105
+ source.removeAttribute("disabled");
106
107
108
function download() {
0 commit comments