rackt/gui gtk: fix focus handing of group-panel%

Closes PR 14019
2013-09-15 08:28:30 -06:00 · 2013-09-15 08:28:30 -06:00 · 61e5633a8c
commit 61e5633a8c
parent f8860b5e05
1 changed files with 2 additions and 0 deletions
--- 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)))