StyleContext.addProviderForDisplay

void addProviderForDisplay(gdk.display.Display display, gtk.style_provider.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 [gtk.settings.Settings] available.

If both priorities are the same, A [gtk.style_provider.StyleProvider]

added through [gtk.style_context.StyleContext.addProvider] takes precedence over another added through this function.

`display`	a [gdk.display.Display]
`provider`	a [gtk.style_provider.StyleProvider]
`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.types.STYLE_PROVIDER_PRIORITY_FALLBACK] and [gtk.types.STYLE_PROVIDER_PRIORITY_USER]