The priority used for style information provided via gtk.settings.Settings.
This priority is higher than GTK_STYLE_PROVIDER_PRIORITY_THEME to let settings override themes.
The priority used for style information provided via gtk.settings.Settings.
This priority is higher than GTK_STYLE_PROVIDER_PRIORITY_THEME to let settings override themes.