Re: [PATCH] Add "set style tui-current-position on|off" default to off

Pedro Alves
2022-11-15T12:16:09Z

On 2022-11-15 10:09 a.m., Andrew Burgess wrote:

> I'd be interested to see this patch merged. I took a look through the
> code changes, and it all looks good to me.
>
> Attached below is a rebase of Pedro's patch. I've gone through the docs
> and comments to mention assembly highlighting, which has been added to
> GDB since this patch was originally written.
>
> I've left the author email as 'Pedro Alves <palves@redhat.com>' as this
> reflects where/when the patch was written, but I can update this to
> anything more suitable upon request.
>
> Pedro (or anyone) - any objections if I merge this patch?

LGTM. Thanks for pushing this forward.

Pedro Alves