From e331f1bce26b0aa23dd0c89fcec62280fe82dd66 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 21 Jan 2011 06:31:07 -0700 Subject: [PATCH] gtk: fix `get-focus-window' in frame% Closes PR 11654 --- collects/mred/private/wx/gtk/frame.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/wx/gtk/frame.rkt b/collects/mred/private/wx/gtk/frame.rkt index 6044860a24..179d8ce5d2 100644 --- a/collects/mred/private/wx/gtk/frame.rkt +++ b/collects/mred/private/wx/gtk/frame.rkt @@ -51,7 +51,7 @@ (define-gtk gtk_window_set_gravity (_fun _GtkWindow _int -> _void)) (define-gtk gtk_window_set_icon_list (_fun _GtkWindow _GList -> _void)) (define-gtk gtk_window_fullscreen (_fun _GtkWindow -> _void)) -(define-gtk gtk_window_get_focus (_fun _GtkWindow -> _GtkWidget)) +(define-gtk gtk_window_get_focus (_fun _GtkWindow -> (_or-null _GtkWidget))) (define-gtk gtk_window_resize (_fun _GtkWidget _int _int -> _void))