[gtk+] doc: Add a note about prioritization of GtkStyleProviders

[Carlos Garnacho <carlosg src gnome org>]

commit 15fdf9026516485a344ea732fc628e8f95566e3a
Author: Carlos Garnacho <carlosg gnome org>
Date:   Mon Feb 7 21:20:54 2011 +0100

    doc: Add a note about prioritization of GtkStyleProviders
    
    It was unclear in the docs what happened if
    gtk_style_context_add_provider() and
    gtk_style_context_add_provider_for_screen()
    were used with the same priority.

 gtk/gtkstylecontext.c |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/gtk/gtkstylecontext.c b/gtk/gtkstylecontext.c
index 45f1417..f005eb1 100644
--- a/gtk/gtkstylecontext.c
+++ b/gtk/gtkstylecontext.c
@@ -1280,6 +1280,10 @@ gtk_style_context_new (void)
  *
  * Adds a style provider to @context, to be used in style construction.
  *
+ * <note><para>If both priorities are the same, A #GtkStyleProvider
+ * added through this function takes precedence over another added
+ * through gtk_style_context_add_provider_for_screen().</para></note>
+ *
  * Since: 3.0
  **/
 void
@@ -1378,6 +1382,10 @@ gtk_style_context_reset_widgets (GdkScreen *screen)
  * GTK+ uses this to make styling information from #GtkSettings
  * available.
  *
+ * <note><para>If both priorities are the same, A #GtkStyleProvider
+ * added through gtk_style_context_add_provider() takes precedence
+ * over another added through this function.</para></note>
+ *
  * Since: 3.0
  **/
 void