[gnome-builder/wip/gtk4-port: 292/343] libide/gui: remove unused set_property

[Christian Hergert <chergert src gnome org>]

commit 59b83546085e81d1da4312947ec8f68c4fac1a1e
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 1 19:50:58 2022 -0700

    libide/gui: remove unused set_property

 src/libide/gui/ide-workspace.c | 14 --------------
 1 file changed, 14 deletions(-)
---
diff --git a/src/libide/gui/ide-workspace.c b/src/libide/gui/ide-workspace.c
index 8782455a1..612f691b9 100644
--- a/src/libide/gui/ide-workspace.c
+++ b/src/libide/gui/ide-workspace.c
@@ -399,19 +399,6 @@ ide_workspace_get_property (GObject    *object,
     }
 }
 
-static void
-ide_workspace_set_property (GObject      *object,
-                            guint         prop_id,
-                            const GValue *value,
-                            GParamSpec   *pspec)
-{
-  switch (prop_id)
-    {
-    default:
-      G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);
-    }
-}
-
 static void
 ide_workspace_class_init (IdeWorkspaceClass *klass)
 {
@@ -422,7 +409,6 @@ ide_workspace_class_init (IdeWorkspaceClass *klass)
   object_class->dispose = ide_workspace_dispose;
   object_class->finalize = ide_workspace_finalize;
   object_class->get_property = ide_workspace_get_property;
-  object_class->set_property = ide_workspace_set_property;
 
   widget_class->realize = ide_workspace_realize;
   widget_class->size_allocate = ide_workspace_size_allocate;