[gnome-builder/wip/gtk4-port: 99/343] libide/gui: remove command manager from libide-gui

[Christian Hergert <chergert src gnome org>]

commit 5b35c89571b6e72d505e2f96532719a7ca89e6ff
Author: Christian Hergert <chergert redhat com>
Date:   Mon Mar 28 16:55:19 2022 -0700

    libide/gui: remove command manager from libide-gui

 src/libide/gui/ide-gui-private.h | 8 --------
 1 file changed, 8 deletions(-)
---
diff --git a/src/libide/gui/ide-gui-private.h b/src/libide/gui/ide-gui-private.h
index b5a080dd6..85f15a34a 100644
--- a/src/libide/gui/ide-gui-private.h
+++ b/src/libide/gui/ide-gui-private.h
@@ -28,7 +28,6 @@
 #include <libide-core.h>
 #include <libide-projects.h>
 
-#include "ide-command-manager.h"
 #include "ide-header-bar.h"
 #include "ide-notification-list-box-row-private.h"
 #include "ide-notification-stack-private.h"
@@ -41,13 +40,6 @@
 
 G_BEGIN_DECLS
 
-void      _ide_command_manager_init_shortcuts   (IdeCommandManager   *self,
-                                                 IdeWorkspace        *workspace);
-void      _ide_command_manager_unload_shortcuts (IdeCommandManager   *self,
-                                                 IdeWorkspace        *workspace);
-void      _ide_command_manager_execute          (IdeCommandManager   *self,
-                                                 IdeWorkspace        *workspace,
-                                                 const gchar         *command);
 void      _ide_primary_workspace_init_actions   (IdePrimaryWorkspace *self);
 void      _ide_workspace_init_actions           (IdeWorkspace        *self);
 GList    *_ide_workspace_get_mru_link           (IdeWorkspace        *self);