[gnome-builder/wip/gtk4-port] libide/gui: try harder to to remove workspace from workbench

[Christian Hergert <chergert src gnome org>]

commit 5ddf7f9f006b22a2e827c7af495ba31bb94e979b
Author: Christian Hergert <chergert redhat com>
Date:   Tue May 17 16:22:58 2022 -0700

    libide/gui: try harder to to remove workspace from workbench

 src/libide/greeter/ide-greeter-workspace.c | 1 +
 src/libide/gui/ide-workspace.c             | 1 +
 2 files changed, 2 insertions(+)
---
diff --git a/src/libide/greeter/ide-greeter-workspace.c b/src/libide/greeter/ide-greeter-workspace.c
index e62cf9d58..e1ae0245b 100644
--- a/src/libide/greeter/ide-greeter-workspace.c
+++ b/src/libide/greeter/ide-greeter-workspace.c
@@ -369,6 +369,7 @@ ide_greeter_workspace_open_project_cb (GObject      *object,
       ide_greeter_workspace_end (self);
     }
 
+  ide_workbench_remove_workspace (workbench, IDE_WORKSPACE (self));
   gtk_window_destroy (GTK_WINDOW (self));
 
   IDE_EXIT;
diff --git a/src/libide/gui/ide-workspace.c b/src/libide/gui/ide-workspace.c
index 14fa2ecea..f1891f825 100644
--- a/src/libide/gui/ide-workspace.c
+++ b/src/libide/gui/ide-workspace.c
@@ -265,6 +265,7 @@ ide_workspace_close_request_cb (GObject      *object,
         }
 
       g_cancellable_cancel (priv->cancellable);
+      ide_workbench_remove_workspace (workbench, self);
       gtk_window_destroy (GTK_WINDOW (self));
     }
 }