[ CCode ( cname = "GTK_STYLE_PROVIDER_PRIORITY_SETTINGS" ) ]
public const int STYLE_PROVIDER_PRIORITY_SETTINGS
The priority used for style information provided via Settings.
This priority is higher than STYLE_PROVIDER_PRIORITY_THEME to let settings override themes.