-
Carlos Garnacho authored
This object backs up gtk_widget_override_* operations. This object is not meant to be public because any intention to modify widgets' style in a themeable way should involve using regions/classes, so they're modifiable through CSS. As such, the API is really short-scoped.
b0c87faa