Fix crash when exiting TUI with gdb -tui

[deliverable/binutils-gdb.git] / gdb / tui / tui.h

diff --git a/gdb/tui/tui.h b/gdb/tui/tui.h
index 816b1e92851b3869949fc48b2805b30bc897863a..79525babc9ff6eec07b4c34a117ddbed3b9ce3a4 100644 (file)
--- a/gdb/tui/tui.h
+++ b/gdb/tui/tui.h
@@ -49,9 +49,9 @@ extern bool tui_is_window_visible (enum tui_win_type type);
 extern bool tui_get_command_dimension (unsigned int *width,
                                       unsigned int *height);
 
-/* Initialize readline and configure the keymap for the switching
-   key shortcut.  */
-extern void tui_initialize_readline (void);
+/* Initialize readline and configure the keymap for the switching key
+   shortcut.  May be called more than once without issue.  */
+extern void tui_ensure_readline_initialized ();
 
 /* Enter in the tui mode (curses).  */
 extern void tui_enable (void);