[gedit/wip/gedit-document-deprecations] Deprecate gedit_document_get_deleted()

[Sébastien Wilmet <swilmet src gnome org>]

commit 8d79b461ecbe527d7082ef2efd5293335076f8eb
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Jun 11 12:21:17 2015 +0200

    Deprecate gedit_document_get_deleted()
    
    It is used nowhere in gedit or gedit-plugins.

 gedit/gedit-document.c |    8 ++++++++
 gedit/gedit-document.h |    1 +
 2 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-document.c b/gedit/gedit-document.c
index 25d3428..9aa67c2 100644
--- a/gedit/gedit-document.c
+++ b/gedit/gedit-document.c
@@ -1516,6 +1516,14 @@ _gedit_document_check_externally_modified (GeditDocument *doc)
        return priv->externally_modified;
 }
 
+/**
+ * gedit_document_get_deleted:
+ * @doc: a #GeditDocument.
+ *
+ * Returns: whether the file has been deleted.
+ *
+ * Deprecated: 3.18: Unused function.
+ */
 gboolean
 gedit_document_get_deleted (GeditDocument *doc)
 {
diff --git a/gedit/gedit-document.h b/gedit/gedit-document.h
index d2e6d86..1b531a2 100644
--- a/gedit/gedit-document.h
+++ b/gedit/gedit-document.h
@@ -83,6 +83,7 @@ gboolean       gedit_document_is_untitled                     (GeditDocument       *doc);
 
 gboolean        gedit_document_is_local                        (GeditDocument       *doc);
 
+G_DEPRECATED
 gboolean        gedit_document_get_deleted                     (GeditDocument       *doc);
 
 gboolean        gedit_document_goto_line                       (GeditDocument       *doc,