293 |
extern void gui_switch_to_dcc_buffer (); |
extern void gui_switch_to_dcc_buffer (); |
294 |
extern void gui_switch_to_previous_buffer (t_gui_window *); |
extern void gui_switch_to_previous_buffer (t_gui_window *); |
295 |
extern void gui_switch_to_next_buffer (t_gui_window *); |
extern void gui_switch_to_next_buffer (t_gui_window *); |
296 |
|
extern void gui_switch_to_previous_window (t_gui_window *); |
297 |
extern void gui_switch_to_next_window (t_gui_window *); |
extern void gui_switch_to_next_window (t_gui_window *); |
298 |
extern void gui_move_page_up (); |
extern void gui_move_page_up (); |
299 |
extern void gui_move_page_down (); |
extern void gui_move_page_down (); |