Re: [RFC 8.3 2/3] Add the "set style source" command

Eli Zaretskii
2019-03-09T06:17:03Z

> From: Tom Tromey <tromey@adacore.com>
> Cc: Tom Tromey <tromey@adacore.com>
> Date: Fri, 8 Mar 2019 14:04:32 -0700
>
> This adds "set style source" (and "show style source") commands. This
> gives the user control over whether source code is highlighted.

Thanks.

> +set style sources [on|off]
> +show style sources
> + Enable or disable source code styling. Source code styling is
> + enabled by default, but only takes effect if styling in general is
> + enabled, if if GDB was linked with GNU Source Highlight.
^^^^^
A typo (you probably meant "and if").

Otherwise, the documentation parts are OK, thanks.