[PATCH] Improve/fix the TUI's current source line highlight

[Eli Zaretskii]

> Date: Sun, 17 Mar 2019 16:46:37 +0000 (UTC)
> From: "Hannes Domani via gdb-patches" <gdb-patches@sourceware.org>
> 
> Actually, you can disregard that.
> Before you added that fix for windows, I found a different workaround,it was to set the "normal" color in esc.style to gray.
> I forgot that I did that, and it backfired now.So I removed that again, and everything is fine now even without that above change.

Great, thanks for unlocking this mystery.

So Pedro, I think the way is clear for you to go ahead and push.
Thanks.