diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2010-11-22 23:01:27 -0500 |
|---|---|---|
| committer | Carlos Garnacho <carlosg@gnome.org> | 2010-12-04 15:39:35 +0100 |
| commit | d7a0fe5bf1000c07717f0ec086742c1800bb1941 (patch) | |
| tree | 428d4556cd2b9f243b55f5d4489b768cb77e5905 /gtk/gtksettings.c | |
| parent | a260059c7fc39f9c4de46fcbf0a60b0453aa2c37 (diff) | |
| download | gtk+-d7a0fe5bf1000c07717f0ec086742c1800bb1941.tar.gz | |
Document predefined style provider priorites
Also, rename GTK_STYLE_PROVIDER_PRIORITY_DEFAULT to _THEME and
use it for themes.
Diffstat (limited to 'gtk/gtksettings.c')
| -rw-r--r-- | gtk/gtksettings.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gtksettings.c b/gtk/gtksettings.c index 4c55eec1ae..8b70038827 100644 --- a/gtk/gtksettings.c +++ b/gtk/gtksettings.c @@ -2639,7 +2639,7 @@ settings_update_theme (GtkSettings *settings) { gtk_style_context_add_provider_for_screen (settings->screen, GTK_STYLE_PROVIDER (new_provider), - GTK_STYLE_PROVIDER_PRIORITY_SETTINGS - 1); + GTK_STYLE_PROVIDER_PRIORITY_THEME); g_object_ref (new_provider); } |