[gnome-builder] libide-gui: handle non-workbench groups

[Christian Hergert <chergert src gnome org>]

commit cb177c4d5960cda3e2f5821431cee8e23f4887aa
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jul 13 01:01:31 2022 -0700

    libide-gui: handle non-workbench groups

 src/libide/gui/ide-gui-global.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/gui/ide-gui-global.c b/src/libide/gui/ide-gui-global.c
index 22b907adb..bf36e6e34 100644
--- a/src/libide/gui/ide-gui-global.c
+++ b/src/libide/gui/ide-gui-global.c
@@ -218,7 +218,12 @@ ide_widget_get_workbench (GtkWidget *widget)
     return ide_widget_get_workbench (GTK_WIDGET (transient_for));
 
   if (GTK_IS_WINDOW (root))
-    return IDE_WORKBENCH (gtk_window_get_group (GTK_WINDOW (root)));
+    {
+      GtkWindowGroup *group = gtk_window_get_group (GTK_WINDOW (root));
+
+      if (IDE_IS_WORKBENCH (group))
+        return IDE_WORKBENCH (group);
+    }
 
   return NULL;
 }