diff -pur gdb-6.6.orig/gdb/tui/tui-io.c gdb-6.6/gdb/tui/tui-io.c --- gdb-6.6.orig/gdb/tui/tui-io.c 2005-12-23 11:10:02.000000000 -0800 +++ gdb-6.6/gdb/tui/tui-io.c 2007-05-16 07:59:10.000000000 -0700 @@ -211,11 +211,17 @@ tui_redisplay_readline (void) if (tui_current_key_mode == TUI_ONE_COMMAND_MODE && rl_end == 0) tui_set_key_mode (TUI_SINGLE_KEY_MODE); + /* Do display prompts like ---Type ... even in single command + mode, and be able to react on such requests. */ + prompt = tui_rl_saved_prompt; if (tui_current_key_mode == TUI_SINGLE_KEY_MODE) - prompt = ""; - else - prompt = tui_rl_saved_prompt; - + { + if (!strcmp (tui_rl_saved_prompt, get_prompt())) + prompt = ""; + else + tui_set_key_mode (TUI_ONE_COMMAND_MODE); + } + c_pos = -1; c_line = -1; w = TUI_CMD_WIN->generic.handle;