set_color_bold

Description:

public void set_color_bold (RGBA? bold)

Sets the color used to draw bold text in the default foreground color.

If bold is null then the default color is used.

Parameters:

this

a Terminal
bold

the new bold color or null