TUI enhancement suggestion.

[Tom Tromey]

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

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.

Tom