caret-color (and caret-width?)

[Richard Shann <richard rshann plus com>]

I see at

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

that there is a caret-color property. Is it possible to change the
thickness of the text caret?

and, how exactly is caret-color supposed to be set I have:

str = "GtkTextView {caret-color: rgb(255,0,80);}";
gcp= gtk_css_provider_new();
gtk_css_provider_load_from_data(gcp, str, -1, 0);
gtk_style_context_add_provider(gsc, GTK_STYLE_PROVIDER(gcp), 
    GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);

but this doesn't seem to work (I have other code such as

str =  "GtkTextView:selected {background-color: rgb(200,128,0);}";
gcp= gtk_css_provider_new();
gtk_css_provider_load_from_data(gcp, str, -1, 0);
gtk_style_context_add_provider(gsc, GTK_STYLE_PROVIDER(gcp), 
    GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);

working nicely).

Richard Shann