[PATCHv2] Add optional styled argument to gdb.execute

[Simon Marchi]

On 2021-05-19 1:26 p.m., Hannes Domani via Gdb-patches wrote:
> This makes it possible to use the colored output of commands, e.g. for
> a custom TuiWindow.

Just for not-painting-ourselves-in-a-corner purposes, do you foresee
that the "styled" parameter could be used in more cases in the future?

For example, to control styling even when to_string=False (outputting to
standard output).  In particular, I'm wondering if it should be some
kind of tri-bool (True/False/None).  None (the default) would mean "do
whatever the default is", based on "set style enabled", whether stdout
is an interactive terminal, and whatnot.  True/False would force it to
on and off.

Simon