Re: [RFC 8.3 0/3] Some style fixes

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

> From: Tom Tromey <tromey@adacore.com>
> Date: Fri, 8 Mar 2019 14:04:30 -0700
>
> This series fixes some of the TUI/styling regressions noted by Pedro.
> I would like to push this to the 8.3 branch as well.
>
> Patch #2 is a new feature that Eli mentioned. Since it's an addition
> to a feature that is also new in 8.3, it seemed reasonable to do at
> this time.
>
> Let me know what you think.

Thanks. I won't have time today to test the patch, but I will
certainly try tomorrow.