[gnome-builder] DocumentManager: remove get_default() helper

[Christian Hergert <chergert src gnome org>]

commit 0846f03ac91090eeac93bb9437c4365358037f5b
Author: Christian Hergert <christian hergert me>
Date:   Sun Dec 14 03:32:39 2014 -0800

    DocumentManager: remove get_default() helper
    
    Too easy to accidentally use this, when what we really want is to get the
    document manager for the workbench (which will soon have a Project attached
    to it).

 src/documents/gb-document-manager.c |   11 -----------
 src/documents/gb-document-manager.h |    1 -
 2 files changed, 0 insertions(+), 12 deletions(-)
---
diff --git a/src/documents/gb-document-manager.c b/src/documents/gb-document-manager.c
index 44c2363..67e23cd 100644
--- a/src/documents/gb-document-manager.c
+++ b/src/documents/gb-document-manager.c
@@ -54,17 +54,6 @@ gb_document_manager_new (void)
   return g_object_new (GB_TYPE_DOCUMENT_MANAGER, NULL);
 }
 
-GbDocumentManager *
-gb_document_manager_get_default (void)
-{
-  static GbDocumentManager *instance;
-
-  if (!instance)
-    instance = gb_document_manager_new ();
-
-  return instance;
-}
-
 guint
 gb_document_manager_get_count (GbDocumentManager *manager)
 {
diff --git a/src/documents/gb-document-manager.h b/src/documents/gb-document-manager.h
index 5f68c65..c908965 100644
--- a/src/documents/gb-document-manager.h
+++ b/src/documents/gb-document-manager.h
@@ -59,7 +59,6 @@ struct _GbDocumentManagerClass
 
 GType              gb_document_manager_get_type              (void);
 GbDocumentManager *gb_document_manager_new                   (void);
-GbDocumentManager *gb_document_manager_get_default           (void);
 void               gb_document_manager_add                   (GbDocumentManager *manager,
                                                               GbDocument        *document);
 void               gb_document_manager_remove                (GbDocumentManager *manager,