511 |
extern void gui_window_init_subwindows (t_gui_window *); |
extern void gui_window_init_subwindows (t_gui_window *); |
512 |
extern void gui_window_split_horiz (t_gui_window *, int); |
extern void gui_window_split_horiz (t_gui_window *, int); |
513 |
extern void gui_window_split_vertic (t_gui_window *, int); |
extern void gui_window_split_vertic (t_gui_window *, int); |
514 |
|
extern void gui_window_resize (t_gui_window *, int); |
515 |
extern int gui_window_merge (t_gui_window *); |
extern int gui_window_merge (t_gui_window *); |
516 |
extern void gui_window_merge_all (t_gui_window *); |
extern void gui_window_merge_all (t_gui_window *); |
517 |
extern void gui_refresh_screen (); |
extern void gui_refresh_screen (); |