From 92bc6bccbefa4f38b478790e727f6f9310a8b469 Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Sat, 18 Apr 2026 16:43:19 +0200
Subject: [PATCH] webview-exit

---
 gui.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gui.rkt b/gui.rkt
index 6519cc4..c55a507 100644
--- a/gui.rkt
+++ b/gui.rkt
@@ -543,6 +543,7 @@
       (set! closed #t)
       (send this close)
       (quit-callback)
+      (webview-exit)
       (exit)
       )