[libpanel] dock: grab focus after revealing a dock child

[Christian Hergert <chergert src gnome org>]

commit 896a6be096b893eaf12163cc44311ec64ff51a47
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 6 15:35:43 2022 -0700

    dock: grab focus after revealing a dock child

 src/panel-dock.c | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/panel-dock.c b/src/panel-dock.c
index 0563fe3..ba2fa89 100644
--- a/src/panel-dock.c
+++ b/src/panel-dock.c
@@ -176,6 +176,10 @@ set_reveal (PanelDock         *self,
           if (value != panel_dock_child_get_reveal_child (PANEL_DOCK_CHILD (child)))
             {
               panel_dock_child_set_reveal_child (PANEL_DOCK_CHILD (child), value);
+
+              if (value)
+                gtk_widget_grab_focus (child);
+
               return TRUE;
             }
         }