From 61e5633a8c1ab86e0335c56c2d3f5821f2e347af Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 15 Sep 2013 08:28:30 -0600 Subject: [PATCH] rackt/gui gtk: fix focus handing of `group-panel%` Closes PR 14019 --- pkgs/gui-pkgs/gui-lib/mred/private/wx/gtk/group-panel.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/mred/private/wx/gtk/group-panel.rkt b/pkgs/gui-pkgs/gui-lib/mred/private/wx/gtk/group-panel.rkt index ab7f32bbb4..f1595127ef 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/private/wx/gtk/group-panel.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/private/wx/gtk/group-panel.rkt @@ -45,5 +45,7 @@ (define/public (set-label s) (gtk_frame_set_label gtk s)) + + (define/override (gets-focus?) #f) (define/override (get-client-gtk) client-gtk)))