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 _______________________________________________ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
