[gnome-builder] workbench: use our own document manager

[Christian Hergert <chergert src gnome org>]

commit b87d833cbab04dd44a394df2d6c428d122c431ac
Author: Christian Hergert <christian hergert me>
Date:   Sun Dec 14 03:34:09 2014 -0800

    workbench: use our own document manager

 src/workbench/gb-workbench.c |    7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/src/workbench/gb-workbench.c b/src/workbench/gb-workbench.c
index 9bd8482..7e93fd2 100644
--- a/src/workbench/gb-workbench.c
+++ b/src/workbench/gb-workbench.c
@@ -413,12 +413,13 @@ on_save_all (GSimpleAction *action,
              GVariant      *parameters,
              gpointer       user_data)
 {
-  GbDocumentManager *manager;
+  GbWorkbench *workbench = user_data;
   GList *list;
   GList *iter;
 
-  manager = gb_document_manager_get_default ();
-  list = gb_document_manager_get_documents (manager);
+  g_return_if_fail (GB_IS_WORKBENCH (workbench));
+
+  list = gb_document_manager_get_documents (workbench->priv->document_manager);
 
   for (iter = list; iter; iter = iter->next)
     {