STYLE_PROVIDER_PRIORITY_SETTINGS

The priority used for style information provided via #GtkSettings.

This priority is higher than #GTK_STYLE_PROVIDER_PRIORITY_THEME to let settings override themes.