From 7cfa7e6b72d0f16158e78fe6a5231499dbb3cd76 Mon Sep 17 00:00:00 2001
From: William Jon McCann <william.jon.mccann@gmail.com>
Date: Wed, 26 Jun 2013 11:47:32 -0400
Subject: [PATCH] Mark gtk-color-palette as deprecated

It is only used by the deprecated color selector widget.
---
 gtk/gtksettings.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c
index 1d488d8ee1..791c4af0d8 100644
--- a/gtk/gtksettings.c
+++ b/gtk/gtksettings.c
@@ -1362,6 +1362,13 @@ gtk_settings_class_init (GtkSettingsClass *class)
                                              NULL);
   g_assert (result == PROP_LABEL_SELECT_ON_FOCUS);
 
+  /**
+   * GtkSettings:gtk-color-palette:
+   *
+   * Palette to use in the deprecated color selector.
+   *
+   * Deprecated: 3.10: Only used by the deprecated color selector widget.
+   */
   result = settings_install_property_parser (class,
                                              g_param_spec_string ("gtk-color-palette",
                                                                   P_("Custom palette"),