public void modify_text (StateType state, Color? color)
Warning: modify_text is deprecated since 3.0. Use override_color.
Sets the text color for a widget in a particular state.
Use override_color instead
the state for which to set the text color
the color to assign (does not need to be allocated), or null to undo the effect of previous calls to of modify_text.