online加声音目录

2025-12-02 00:57:34 +08:00
parent 7835a77ae2
commit 3ecb7d8cfb
37 changed files with 2444 additions and 2 deletions
--- a/boards/default_src/python_pyodide/others/python-shell.js
+++ b/boards/default_src/python_pyodide/others/python-shell.js
@@ -71,6 +71,9 @@ export default class PythonShell {
            this.pyodide.setInterruptBuffer(this.interruptBuffer);
            this.kernelLoaded = true;
            this.$loader.remove();
+            if (this.$loader && this.$loader.remove) {
+                this.$loader.remove();
+            }
            this.$loader = null;
        }