Re: [RFC 8.3 1/3] Make TUI react to "set style enabled"

Tom Tromey
2019-03-14T11:43:25Z

Pedro> Maybe something like this?
[...]

Thanks. I've incorporated this into the patch.

Tom