[gnome-builder] glade: proxy shortcuts to signals editor

[Christian Hergert <chergert src gnome org>]

commit 01d36c222886fa379e449ef2b0d3373c163f294e
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jan 22 08:57:26 2020 -0800

    glade: proxy shortcuts to signals editor
    
    Fixes #1132

 src/plugins/glade/gbp-glade-editor-addin.c | 9 +++++++++
 1 file changed, 9 insertions(+)
---
diff --git a/src/plugins/glade/gbp-glade-editor-addin.c b/src/plugins/glade/gbp-glade-editor-addin.c
index a255f8bd5..38c738b3c 100644
--- a/src/plugins/glade/gbp-glade-editor-addin.c
+++ b/src/plugins/glade/gbp-glade-editor-addin.c
@@ -89,6 +89,7 @@ gbp_glade_editor_addin_ensure_properties (GbpGladeEditorAddin *self)
 
   /* Wire up the shortcuts to the panel too */
   _gbp_glade_page_init_shortcuts (GTK_WIDGET (self->properties));
+  _gbp_glade_page_init_shortcuts (GTK_WIDGET (self->signals));
 }
 
 static void
@@ -217,12 +218,20 @@ gbp_glade_editor_addin_page_set (IdeEditorAddin *addin,
       dzl_gtk_widget_mux_action_groups (GTK_WIDGET (self->properties),
                                         GTK_WIDGET (view),
                                         "GBP_GLADE_PAGE");
+      dzl_gtk_widget_mux_action_groups (GTK_WIDGET (self->signals),
+                                        GTK_WIDGET (view),
+                                        "GBP_GLADE_PAGE");
     }
   else
     {
       if (self->signals_dock)
         gtk_widget_hide (GTK_WIDGET (self->signals_dock));
 
+      if (self->signals)
+        dzl_gtk_widget_mux_action_groups (GTK_WIDGET (self->signals),
+                                          NULL,
+                                          "GBP_GLADE_PAGE");
+
       if (self->properties)
         dzl_gtk_widget_mux_action_groups (GTK_WIDGET (self->properties),
                                           NULL,