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)))