sig
module ProviderPriority :
sig
type t = int
val fallback : GtkData.StyleContext.ProviderPriority.t
val theme : GtkData.StyleContext.ProviderPriority.t
val settings : GtkData.StyleContext.ProviderPriority.t
val application : GtkData.StyleContext.ProviderPriority.t
val user : GtkData.StyleContext.ProviderPriority.t
end
external add_provider :
Gtk.style_context ->
Gtk.css_provider -> GtkData.StyleContext.ProviderPriority.t -> unit
= "ml_gtk_style_context_add_provider"
external add_provider_for_screen :
Gdk.screen ->
Gtk.css_provider -> GtkData.StyleContext.ProviderPriority.t -> unit
= "ml_gtk_style_context_add_provider_for_screen"
end