add_provider_for_display
Description:
public static void add_provider_for_display (Display display, StyleProvider provider, uint priority)
Adds a global style provider to display, which will be used in style construction for all `GtkStyleContexts` under display
.
GTK uses this to make styling information from `GtkSettings` available.
Note: If both priorities are the same, A `GtkStyleProvider` added through [method@Gtk.StyleContext.add_provider] takes precedence over another added through this function.
Parameters:
| display |
a `GdkDisplay` |
| provider |
a `GtkStyleProvider` |
| priority |
the priority of the style provider. The lower it is, the earlier it will be used in the style construction. Typically this will be in the range between gtk_style_provider_priority_fallback and gtk_style_provider_priority_user |