[PATCH] Make TUI borders respect "set style enabled"

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:

Tom> gdb/ChangeLog
Tom> 2020-01-04  Tom Tromey  <tom@tromey.com>

Tom> 	* tui/tui-wingeneral.c (box_win): Check cli_styling.
Tom> 	* tui/tui-winsource.c (tui_source_window_base::refill): Use
Tom> 	deprecated_safe_get_selected_frame.

I'm checking this in now.

Tom