247 |
extern t_gui_buffer *buffer_before_dcc; |
extern t_gui_buffer *buffer_before_dcc; |
248 |
extern t_gui_infobar *gui_infobar; |
extern t_gui_infobar *gui_infobar; |
249 |
|
|
|
/* prototypes */ |
|
|
|
|
250 |
/* GUI independent functions */ |
/* GUI independent functions */ |
251 |
|
|
252 |
extern t_gui_window *gui_window_new (int, int, int, int); |
extern t_gui_window *gui_window_new (int, int, int, int); |
253 |
extern t_gui_buffer *gui_buffer_new (t_gui_window *, void *, void *, int, int); |
extern t_gui_buffer *gui_buffer_new (t_gui_window *, void *, void *, int, int); |
254 |
extern void gui_buffer_clear (t_gui_buffer *); |
extern void gui_buffer_clear (t_gui_buffer *); |
266 |
extern void gui_buffer_insert_string (t_gui_buffer *, char *, int); |
extern void gui_buffer_insert_string (t_gui_buffer *, char *, int); |
267 |
extern t_gui_buffer *gui_switch_to_buffer_by_number (t_gui_window *, int); |
extern t_gui_buffer *gui_switch_to_buffer_by_number (t_gui_window *, int); |
268 |
extern void gui_move_buffer_to_number (t_gui_window *, int); |
extern void gui_move_buffer_to_number (t_gui_window *, int); |
269 |
|
|
270 |
/* GUI dependant functions */ |
/* GUI dependant functions */ |
271 |
|
|
272 |
extern int gui_assign_color (int *, char *); |
extern int gui_assign_color (int *, char *); |
273 |
extern int gui_get_color_by_name (char *); |
extern int gui_get_color_by_name (char *); |
274 |
extern char *gui_get_color_by_value (int); |
extern char *gui_get_color_by_value (int); |
293 |
extern void gui_window_init_subwindows (t_gui_window *); |
extern void gui_window_init_subwindows (t_gui_window *); |
294 |
extern void gui_window_split_horiz (t_gui_window *); |
extern void gui_window_split_horiz (t_gui_window *); |
295 |
extern void gui_window_split_vertic (t_gui_window *); |
extern void gui_window_split_vertic (t_gui_window *); |
296 |
|
extern int gui_window_merge_up (t_gui_window *); |
297 |
|
extern int gui_window_merge_down (t_gui_window *); |
298 |
|
extern int gui_window_merge_left (t_gui_window *); |
299 |
|
extern int gui_window_merge_right (t_gui_window *); |
300 |
|
extern void gui_window_merge_auto (t_gui_window *); |
301 |
|
extern void gui_window_merge_all (t_gui_window *); |
302 |
extern void gui_pre_init (int *, char **[]); |
extern void gui_pre_init (int *, char **[]); |
303 |
extern void gui_init_colors (); |
extern void gui_init_colors (); |
304 |
extern void gui_set_window_title (); |
extern void gui_set_window_title (); |