207 			     int from_tty,  in show_tui_active_border_mode()
219 		      int from_tty,  in show_tui_border_mode()
231 		      int from_tty,  in show_tui_border_kind()
320 set_tui_cmd (char *args, int from_tty)  in set_tui_cmd()
325 show_tui_cmd (char *args, int from_tty)  in show_tui_cmd()
332 tui_command (char *args, int from_tty)  in tui_command()
853 tui_scroll_forward_command (char *arg, int from_tty)  in tui_scroll_forward_command()
869 tui_scroll_backward_command (char *arg, int from_tty)  in tui_scroll_backward_command()
885 tui_scroll_left_command (char *arg, int from_tty)  in tui_scroll_left_command()
898 tui_scroll_right_command (char *arg, int from_tty)  in tui_scroll_right_command()
912 tui_set_focus (char *arg, int from_tty)  in tui_set_focus()
952 tui_set_focus_command (char *arg, int from_tty)  in tui_set_focus_command()
961 tui_all_windows_info (char *arg, int from_tty)  in tui_all_windows_info()
983 tui_refresh_all_command (char *arg, int from_tty)  in tui_refresh_all_command()
994 tui_set_tab_width_command (char *arg, int from_tty)  in tui_set_tab_width_command()
1013 tui_set_win_height (char *arg, int from_tty)  in tui_set_win_height()
1096 tui_set_win_height_command (char *arg, int from_tty)  in tui_set_win_height_command()
1108 tui_xdb_set_win_height (char *arg, int from_tty)  in tui_xdb_set_win_height()
1136 tui_xdb_set_win_height_command (char *arg, int from_tty)  in tui_xdb_set_win_height_command()