diff options
-rw-r--r-- | doc_src/set_color.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc_src/set_color.txt b/doc_src/set_color.txt index b1f6879e..742a69fc 100644 --- a/doc_src/set_color.txt +++ b/doc_src/set_color.txt @@ -20,3 +20,8 @@ purple, cyan, white and normal. Calling <tt>set_color normal</tt> will set the terminal color to whatever is the default color of the terminal. +Some terminals use the --bold escape sequence to switch to a brighter +color set. On such terminals, <code>set_color white</code> will result +in a grey font color, while <code>set_color --bold white</code> will +result in a white font color. + |