284 set_tui_cmd (char *args, int from_tty)  in set_tui_cmd()
289 show_tui_cmd (char *args, int from_tty)  in show_tui_cmd()
296 tui_command (char *args, int from_tty)  in tui_command()
780 tui_scroll_forward_command (char *arg, int from_tty)  in tui_scroll_forward_command()
796 tui_scroll_backward_command (char *arg, int from_tty)  in tui_scroll_backward_command()
812 tui_scroll_left_command (char *arg, int from_tty)  in tui_scroll_left_command()
825 tui_scroll_right_command (char *arg, int from_tty)  in tui_scroll_right_command()
839 tui_set_focus (char *arg, int from_tty)  in tui_set_focus()
877 tui_set_focus_command (char *arg, int from_tty)  in tui_set_focus_command()
886 tui_all_windows_info (char *arg, int from_tty)  in tui_all_windows_info()
907 tui_refresh_all_command (char *arg, int from_tty)  in tui_refresh_all_command()
918 tui_set_tab_width_command (char *arg, int from_tty)  in tui_set_tab_width_command()
937 tui_set_win_height (char *arg, int from_tty)  in tui_set_win_height()
1022 tui_set_win_height_command (char *arg, int from_tty)  in tui_set_win_height_command()
1033 tui_xdb_set_win_height (char *arg, int from_tty)  in tui_xdb_set_win_height()
1061 tui_xdb_set_win_height_command (char *arg, int from_tty)  in tui_xdb_set_win_height_command()