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