diff options
Diffstat (limited to 'gdb/tui/tui-command.c')
-rw-r--r-- | gdb/tui/tui-command.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c index 5c58b11..7b9d529 100644 --- a/gdb/tui/tui-command.c +++ b/gdb/tui/tui-command.c @@ -73,7 +73,8 @@ tui_dispatch_ctrl_char (unsigned int ch) { for (i = 0; term[i]; i++) term[i] = toupper (term[i]); - if ((strcmp (term, "XTERM") == 0) && key_is_start_sequence (ch)) + if ((strcmp (term, "XTERM") == 0) + && key_is_start_sequence (ch)) { unsigned int page_ch = 0; unsigned int tmp_char; |