+2019-07-17 Tom Tromey <tom@tromey.com>
+
+ * tui/tui-win.c (tui_set_win_height_command): Rename from
+ tui_set_win_height.
+ (tui_set_win_height_command): Remove.
+
2019-07-17 Tom Tromey <tom@tromey.com>
* tui/tui-source.c (tui_source_window): New constructor. Add
static int new_height_ok (struct tui_win_info *, int);
static void tui_set_tab_width_command (const char *, int);
static void tui_refresh_all_command (const char *, int);
-static void tui_set_win_height_command (const char *, int);
static void tui_all_windows_info (const char *, int);
static void tui_set_focus_command (const char *, int);
static void tui_scroll_forward_command (const char *, int);
/* Set the height of the specified window. */
static void
-tui_set_win_height (const char *arg, int from_tty)
+tui_set_win_height_command (const char *arg, int from_tty)
{
/* Make sure the curses mode is enabled. */
tui_enable ();
printf_filtered (WIN_HEIGHT_USAGE);
}
-/* Set the height of the specified window, with va_list. */
-static void
-tui_set_win_height_command (const char *arg, int from_tty)
-{
- /* Make sure the curses mode is enabled. */
- tui_enable ();
- tui_set_win_height (arg, from_tty);
-}
-
/* Function to adjust all window heights around the primary. */
static enum tui_status
tui_adjust_win_heights (struct tui_win_info *primary_win_info,