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