public void override_cursor (RGBA? cursor, RGBA? secondary_cursor)
Warning: override_cursor is deprecated since "3.16".
Sets the cursor color to use in a widget, overriding the cursor-color and secondary-cursor-color style properties.
This function is not useful in the context of CSS-based rendering. If you wish to change the color used to render the primary and secondary cursors you should use a custom CSS style, through an application-specific StyleProvider and a CSS style class.
All other style values are left untouched. See also modify_style.
Note that the underlying properties have the Color type, so the alpha value in
secondary will be ignored.
the color to use for primary cursor (does not need to be allocated), or null to undo the effect of previous calls to of override_cursor.
the color to use for secondary cursor (does not need to be allocated), or null to undo the effect of previous calls to of override_cursor.