[gnome-builder] libide/gui: remove unused function

[Christian Hergert <chergert src gnome org>]

commit 70f54ba2fcd09611ec910362a2742ba2e870daa2
Author: Christian Hergert <chergert redhat com>
Date:   Wed Sep 14 19:03:50 2022 -0700

    libide/gui: remove unused function

 src/libide/gui/ide-workbench.c | 19 -------------------
 1 file changed, 19 deletions(-)
---
diff --git a/src/libide/gui/ide-workbench.c b/src/libide/gui/ide-workbench.c
index f62bd1268..b58fb7669 100644
--- a/src/libide/gui/ide-workbench.c
+++ b/src/libide/gui/ide-workbench.c
@@ -1650,25 +1650,6 @@ ide_workbench_unload_project_cb (GObject      *object,
   IDE_EXIT;
 }
 
-static void
-ide_workbench_addin_save_state_cb (PeasExtensionSet *set,
-                                   PeasPluginInfo   *plugin_info,
-                                   PeasExtension    *exten,
-                                   gpointer          user_data)
-{
-  IdeWorkbenchAddin *addin = (IdeWorkbenchAddin *)exten;
-  IdeSession *session = user_data;
-
-  g_assert (PEAS_IS_EXTENSION_SET (set));
-  g_assert (plugin_info != NULL);
-  g_assert (PEAS_IS_EXTENSION (exten));
-  g_assert (IDE_IS_SESSION (session));
-
-  g_debug ("Requesting session state from %s", G_OBJECT_TYPE_NAME (addin));
-
-  ide_workbench_addin_save_session (addin, session);
-}
-
 /**
  * ide_workbench_unload_async:
  * @self: an #IdeWorkbench