From 5f014b85b7a994a8edc2344aac088a25f0633c39 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Sun, 19 Apr 2026 21:19:37 +0200 Subject: [PATCH] finalizing --- gui.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui.rkt b/gui.rkt index c55a507..4fd3614 100644 --- a/gui.rkt +++ b/gui.rkt @@ -542,8 +542,8 @@ (send player quit) (set! closed #t) (send this close) - (quit-callback) (webview-exit) + (quit-callback) (exit) )