[gtksourceview/wip/more-deprecations] Deprecate the GtkSourceMarkAttributes:stock-id property

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

commit 9890278aef155c677e9e72cee414bb2591ecfc36
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Sep 2 14:18:32 2013 +0200

    Deprecate the GtkSourceMarkAttributes:stock-id property
    
    Deprecate also the getter and setter.
    
    GtkStock is deprecated.

 gtksourceview/gtksourcemarkattributes.c |    6 ++++++
 gtksourceview/gtksourcemarkattributes.h |    3 +++
 2 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourcemarkattributes.c b/gtksourceview/gtksourcemarkattributes.c
index 9249e2d..69dc423 100644
--- a/gtksourceview/gtksourcemarkattributes.c
+++ b/gtksourceview/gtksourcemarkattributes.c
@@ -294,6 +294,8 @@ gtk_source_mark_attributes_class_init (GtkSourceMarkAttributesClass *klass)
         * GtkSourceMarkAttributes:stock-id:
         *
         * A stock id that may be a base of a rendered icon.
+        *
+        * Deprecated: 3.10: Don't use this property.
         */
        g_object_class_install_property (object_class,
                                         PROP_STOCK_ID,
@@ -454,6 +456,8 @@ gtk_source_mark_attributes_get_background (GtkSourceMarkAttributes *attributes,
  * @stock_id: a stock id.
  *
  * Sets stock id to be used as a base for rendered icon.
+ *
+ * Deprecated: 3.10: Don't use this function.
  */
 void
 gtk_source_mark_attributes_set_stock_id (GtkSourceMarkAttributes *attributes,
@@ -473,6 +477,8 @@ gtk_source_mark_attributes_set_stock_id (GtkSourceMarkAttributes *attributes,
  *
  * Returns: (transfer none): Stock id. Returned string is owned by @attributes and
  * shouldn't be freed.
+ *
+ * Deprecated: 3.10: Don't use this function.
  */
 const gchar *
 gtk_source_mark_attributes_get_stock_id (GtkSourceMarkAttributes *attributes)
diff --git a/gtksourceview/gtksourcemarkattributes.h b/gtksourceview/gtksourcemarkattributes.h
index f5bf4d4..042c2e6 100644
--- a/gtksourceview/gtksourcemarkattributes.h
+++ b/gtksourceview/gtksourcemarkattributes.h
@@ -66,8 +66,11 @@ void             gtk_source_mark_attributes_set_background      (GtkSourceMarkAt
 gboolean         gtk_source_mark_attributes_get_background      (GtkSourceMarkAttributes *attributes,
                                                                  GdkRGBA                 *background);
 
+G_DEPRECATED
 void             gtk_source_mark_attributes_set_stock_id        (GtkSourceMarkAttributes *attributes,
                                                                  const gchar             *stock_id);
+
+G_DEPRECATED
 const gchar     *gtk_source_mark_attributes_get_stock_id        (GtkSourceMarkAttributes *attributes);
 
 void             gtk_source_mark_attributes_set_icon_name       (GtkSourceMarkAttributes *attributes,