[gimp/gtk3-port: 235/237] app: increase the priority of the theme CSS by 1

[Michael Natterer <mitch src gnome org>]

commit 5eec501c066eb96c2718404a32812479b4ac1a20
Author: Michael Natterer <mitch gimp org>
Date:   Tue Feb 8 14:20:30 2011 +0100

    app: increase the priority of the theme CSS by 1
    
    so it overrides widget-provided default CSS.

 app/gui/themes.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/app/gui/themes.c b/app/gui/themes.c
index e8b56d6..82a7a05 100644
--- a/app/gui/themes.c
+++ b/app/gui/themes.c
@@ -89,9 +89,12 @@ themes_init (Gimp *gimp)
 
   themes_style_provider = GTK_STYLE_PROVIDER (gtk_css_provider_new ());
 
+  /*  Use GTK_STYLE_PROVIDER_PRIORITY_APPLICATION + 1 so theme files
+   *  override default styles provided by widgets themselves.
+   */
   gtk_style_context_add_provider_for_screen (gdk_screen_get_default (),
                                              themes_style_provider,
-                                             GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
+                                             GTK_STYLE_PROVIDER_PRIORITY_APPLICATION + 1);
 
   g_object_unref (themes_style_provider);