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.