[RFC 8.3 0/3] Some style fixes

Tom Tromey
2019-03-08T21:04:40Z

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.

Tom