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 [[email protected]_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