[RFA 0/4] Improve "show style", use style in "help" and "apropos".

[Philippe Waroquiers]

On Tue, 2019-06-18 at 22:52 +0200, Philippe Waroquiers wrote:
> On Tue, 2019-06-18 at 14:46 -0600, Tom Tromey wrote:
> > > > > > > "Philippe" == Philippe Waroquiers <philippe.waroquiers@skynet.be> writes:
> > > > 
> > > > (gdb) | with pagination off -- apropos -v breakpoint | less
> > 
> > Philippe> Effectively, 'pagination off' and event worse 'style enabled off'
> > Philippe> make it significantly more difficult to see where apropos -v 
> > Philippe> starts the doc of a new command.
> > 
> > Maybe this command should still use styling?  I wonder.
> 
> Wondering ...
> 
> At shell level, coloring seems to be disabled when piped.
> E.g.  
>   $ ls -l
>   .... files with some colors
>   $ ls -l | cat
>   .... same output, but no colors
>   $

ls has an option to control coloring.
   ls -l --color=always|cat
will still be colored.

So, we might add an option -style [on|off] to the GDB pipe_command,
if we believe it should output styling sequence.

Philippe