feat: handle console pop when backspacing

src/python/app/console.d.ts

@@ -1,4 +1,4 @@
-import type { PyProxy, PyProxyWithLength } from "pyodide/ffi";
+import type { PyProxy } from "pyodide/ffi";
 
 export class Result extends PyProxy {
   status: "complete" | "incomplete" | "syntax-error";
@@ -9,9 +9,7 @@ export class Result extends PyProxy {
 class PyodideConsole extends PyProxy {
   stdout_callback(out: string);
   stderr_callback(err: string);
-  buffer: PyProxyWithLength & {
-    pop: (index = -1) => string;
-  };
+  pop(): void;
 }
 
 export class Console {

src/python/app/console.py

@@ -62,6 +62,14 @@ def runsource(self, source: str, filename="<console>"):
         self._append_source_file(source)
         return super().runsource(fake_source, filename)
 
+    def pop(self):
+        assert self.buffer
+        self.buffer.pop()
+        self.line_offset -= 1
+
+        source = self.fake_file.read_text()
+        self.fake_file.write_text(source[: source.rindex("\n", None, -1) + 1])
+
 
 class Console:
     @cached_property

src/routes/+page.svelte

@@ -158,7 +158,7 @@
         if (inputRef.selectionStart === 0 && inputRef.selectionEnd === 0 && status === "incomplete") {
           const item = log.at(-1)!;
           const lines = item.text.split("\n");
-          pyConsole.console.buffer.pop();
+          pyConsole.console.pop();
           if (lines.length === 1) {
             log = [...log.slice(0, -1)];
             input = lines[0] + input;