GtkStyleProvider is an interface used to provide style information to a Gtk.Style_Context.Gtk_Style_Context. See Gtk.Style_Context.Add_Provider and Gtk.Style_Context.Add_Provider_For_Screen.
function "+" (W : Gtk_Style_Provider) return Gtk_Style_Provider
procedure Get_Style_Property
(Self : Gtk_Style_Provider;
Path : Gtk.Widget.Gtk_Widget_Path;
State : Gtk.Enums.Gtk_State_Flags;
Pspec : in out Glib.Param_Spec;
Value : out Glib.Values.GValue;
Found : out Boolean)
Looks up a widget style property as defined by Provider for the widget represented by Path. Since: gtk+ 3.0
Gtk.Widget.Gtk_Widget_Path to query
state to query the style property for
The Glib.Param_Spec to query
return location for the property value @return True if the property was found and has a value, False otherwise
function Get_Type return Glib.GType
type Gtk_Style_Provider is new Glib.Types.GType_Interface;
Null_Gtk_Style_Provider : constant Gtk_Style_Provider;
subtype Priority is Glib.Guint;
Priority_Application : constant Priority := 600;
For application-specific information
Priority_Fallback : constant Priority := 1;
Used when no theme is defined
Priority_Settings : constant Priority := 400;
Used for information provided via Gtk_Settings
Priority_Theme : constant Priority := 200;
Used for style information provided by the theme
Priority_User : constant Priority := 800;
Used for the style information from ~/.gtk-3.0.css