      };

                const finishedCallback = () => {
                    programRunning(false);
                    pythonWorkerManager.reset();
                };

                const pythonWorkerManager = new WorkerManager(
                    "./python.worker.mjs",
                    stdio,
                    readyCallback,
                    finishedCallback,
                );
            };
            var editor;
            document.addEventListener("DOMContentLoaded", () => {
           