[gnome-builder/wip/gtk4-port: 224/343] libide/gui: add ide_workspace_get_workbench()

[Christian Hergert <chergert src gnome org>]

commit 32b72c5749954982c8d8046196b70c65ab8fbe47
Author: Christian Hergert <chergert redhat com>
Date:   Wed Mar 30 23:49:30 2022 -0700

    libide/gui: add ide_workspace_get_workbench()
    
    Just a typed helper to get the workbench from the workspace.

 src/libide/gui/ide-workbench.h | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/libide/gui/ide-workbench.h b/src/libide/gui/ide-workbench.h
index ea64a1e0a..c18c46e19 100644
--- a/src/libide/gui/ide-workbench.h
+++ b/src/libide/gui/ide-workbench.h
@@ -152,5 +152,10 @@ GFile           *ide_workbench_resolve_file_finish   (IdeWorkbench         *self
                                                       GAsyncResult         *result,
                                                       GError              **error);
 
+static inline IdeWorkbench *
+ide_workspace_get_workbench (IdeWorkspace *workspace)
+{
+  return IDE_WORKBENCH (gtk_window_get_group (GTK_WINDOW (workspace)));
+}
 
 G_END_DECLS