[RFC 8.3 0/3] Some style fixes

[Eli Zaretskii]

> 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.