From 6f1156df15b5b94987ae396ece0adb1f5b06cc74 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Thu, 30 Apr 2026 13:09:33 +0200 Subject: [PATCH] show/hide etc --- wv-window.rkt | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/wv-window.rkt b/wv-window.rkt index ab91ea7..5fd0ec1 100644 --- a/wv-window.rkt +++ b/wv-window.rkt @@ -316,6 +316,26 @@ (webview-close wv) this) + (define/public (show) + (webview-show wv) + this) + + (define/public (hide) + (webview-hide wv) + this) + + (define/public (maximize) + (webview-maximize wv) + this) + + (define/public (minimize) + (webview-minimize wv) + this) + + (define/public (show-normal) + (webview-show-normal wv) + this) + (define/public (quit) (webview-quit) this)