PR tui/9584
authorStephane Carrez <stcarrez@nerim.fr>
Sat, 10 Nov 2012 12:25:07 +0000 (12:25 +0000)
committerStephane Carrez <stcarrez@nerim.fr>
Sat, 10 Nov 2012 12:25:07 +0000 (12:25 +0000)
commite840f632eb1879fd022f88ab1e2f5ce3a41d3cbe
treef297f9eb957641129a62017406e88f6cd97f2993
parent9014f8246333be644269f9976373b896fcf8b50f
PR tui/9584

* tui/tui.c (tui_rl_command_key): Do not call execute_command
  but insert the command to execute in readline's buffer.
gdb/ChangeLog
gdb/tui/tui.c