On 08/21/2015 05:19 PM, Patrick Palka wrote: > gdb/ChangeLog: > > * tui/tui-io.c (tui_getc): Use tui_putc instead of waddch to > emit the newline. OK. Thanks, Pedro Alves