[RFC 0/8] add terminal styling to gdb

[Eli Zaretskii]

> Date: Fri, 07 Sep 2018 17:56:00 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> CC: gdb-patches@sourceware.org
> 
> To change the visual appearance of the following text, such as colors
> or standout, you need to call a function.

Sorry, in case it isn't clear: calling that function produces no
output, i.e. nothing is written to the destination buffer or file.