On 6/15/20 9:12 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves via Gdb-patches <gdb-patches@sourceware.org> writes:
> 
> Pedro> Try the attached patch, and do "set tui current-line-highlight reverse-mono".
> 
> Maybe the new mode ought to be the default.

Yeah.  I'm not sure what is the mode that people prefer the most, but that
would be fine with me.

> 
> Pedro> +static void
> Pedro> +set_tui_current_line_highlight_mode (const char *ignore, int from_tty,
> Pedro> +				     struct cmd_list_element *c)
> Pedro> +{
> Pedro> +  if (TUI_SRC_WIN != nullptr)
> Pedro> +    TUI_SRC_WIN->refill ();
> Pedro> +}
> 
> Possibly this should update the assembly window as well.

Indeed.

Here's an updated patch.

I wonder whether some option under "set style" would be more appropriate here.

Typing "set tui current-line-highlight reverse-mono" is a bit of a "mouthful".

Like,

 (gdb) set style tui-current-line on|off

I see that we already have "set style tui-active-border" and
"set style tui-border" in there.

Thanks,
Pedro Alves