fix: dev time console bugs

src/lib/components/console/HeadlessConsole.svelte

@@ -16,7 +16,7 @@
   import type { ConsoleAPI } from "$py/app/console";
 
   import { getPy } from "$lib/pyodide";
-  import { onMount } from "svelte";
+  import { onDestroy, onMount } from "svelte";
 
   export let ready = false;
   export let status: Status = "complete";
@@ -37,6 +37,8 @@
     ready = true;
   });
 
+  onDestroy(() => pyConsole?.destroy());
+
   export function pushLog(item: Item, behind?: Item) {
     if (!log.length)
       return void (log = [item]);

src/python/app/console.d.ts

@@ -1,3 +1,5 @@
+import type { PyProxy } from "pyodide/ffi";
+
 export class Result<T> {
   status: "complete" | "incomplete" | "syntax-error";
   future: Promise<T>;
@@ -11,7 +13,7 @@ class EnhancedConsole {
   pop(): void;
 }
 
-export class ConsoleAPI {
+export class ConsoleAPI extends PyProxy {
   complete(source: string): [string[], number];
   console: EnhancedConsole;
   push(line: string): Result<any>;

src/python/app/console.py

@@ -40,6 +40,11 @@ def __init__(self, *args, **kwargs):
         super().__init__(*args, **kwargs)
         patch_linecache()
 
+        for path in sys.path[:]:
+            if (file := Path(path) / self.filename).is_file():
+                file.unlink()
+                sys.path.remove(path)
+
         with TemporaryDirectory(delete=False) as tempdir:
             sys.path.append(tempdir)
             self.fake_file = Path(tempdir) / self.filename
@@ -48,6 +53,7 @@ def __init__(self, *args, **kwargs):
 
     def __del__(self):
         with suppress(Exception):
+            self.fake_file.unlink()
             sys.path.remove(str(self.fake_file.parent))
 
     def _append_source_file(self, source: str):