[gnome-builder] gui: initialize command manager with workbench

[Christian Hergert <chergert src gnome org>]

commit 56f5f3facdf206c51c3ffb4dcd1cde89fccaed45
Author: Christian Hergert <chergert redhat com>
Date:   Wed Aug 7 13:30:55 2019 -0700

    gui: initialize command manager with workbench

 src/libide/gui/ide-workbench.c | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/src/libide/gui/ide-workbench.c b/src/libide/gui/ide-workbench.c
index 19c71b91e..4c5642813 100644
--- a/src/libide/gui/ide-workbench.c
+++ b/src/libide/gui/ide-workbench.c
@@ -34,6 +34,7 @@
 #include "ide-transfer-manager-private.h"
 
 #include "ide-application.h"
+#include "ide-command-manager.h"
 #include "ide-gui-global.h"
 #include "ide-gui-private.h"
 #include "ide-primary-workspace.h"
@@ -380,6 +381,9 @@ ide_workbench_constructed (GObject *object)
   peas_extension_set_foreach (self->addins,
                               ide_workbench_addin_added_cb,
                               self);
+
+  /* Load command providers (which may register shortcuts) */
+  (void)ide_command_manager_from_context (self->context);
 }
 
 static void