Re: gtk_dialog_get_action_area() deprecation

[Richard Shann <richard rshann plus com>]

On Sat, 2016-12-31 at 20:11 +0000, Emmanuele Bassi wrote:
> consider using a small
> CSS fragment shipped with your own application, if you want to change
> the appearance of your UI, instead of hardcoding a space.
>
> Especially now that the CSS system is documented and extremely
> powerful.

are you referring to

https://developer.gnome.org/gtk3/stable/chap-css-properties.html

here? This seems to be just some examples. Looking back through the
widget hierarchy I see sometimes "Style Properties" but this example
from such an entry (for GtkWidget)



GtkWidget:cursor-color has been deprecated since version 3.20 and should not be used in newly-written code.
Use the caret-color CSS property


indicates that these "Style Properties" are not the CSS properties that
can be altered for the widget concerned.

So where are they documented, on a widget by widget basis.

Richard Shann