pub const STYLE_PROVIDER_PRIORITY_SETTINGS: u32 = _; // 400u32
The priority used for style information provided via Settings.
Settings
This priority is higher than GTK_STYLE_PROVIDER_PRIORITY_THEME to let settings override themes.
GTK_STYLE_PROVIDER_PRIORITY_THEME