More robust quit/exit/cleanup/finalizing handling

2026-04-20 09:53:28 +02:00
parent 95a5faa49e
commit 69785e923e
4 changed files with 137 additions and 47 deletions
--- a/wv-window.rkt
+++ b/wv-window.rkt
@@ -313,6 +313,10 @@
      (webview-close wv)
      this)

+    (define/public (quit)
+      (webview-quit)
+      this)
+
    (define/public (run-js js)
      (webview-run-js wv js))