webview-exit

2026-04-18 16:43:19 +02:00
parent 4a66ae23da
commit 92bc6bccbe
1 changed files with 1 additions and 0 deletions
--- a/gui.rkt
+++ b/gui.rkt
@@ -543,6 +543,7 @@
      (set! closed #t)
      (send this close)
      (quit-callback)
+      (webview-exit)
      (exit)
      )