255 |
extern void gui_buffer_clear (t_gui_buffer *); |
extern void gui_buffer_clear (t_gui_buffer *); |
256 |
extern void gui_buffer_clear_all (); |
extern void gui_buffer_clear_all (); |
257 |
extern void gui_infobar_printf (int, int, char *, ...); |
extern void gui_infobar_printf (int, int, char *, ...); |
258 |
|
extern void gui_window_free (t_gui_window *); |
259 |
extern void gui_infobar_remove (); |
extern void gui_infobar_remove (); |
260 |
extern void gui_buffer_free (t_gui_buffer *, int); |
extern void gui_buffer_free (t_gui_buffer *, int); |
261 |
extern t_gui_line *gui_new_line (t_gui_buffer *); |
extern t_gui_line *gui_new_line (t_gui_buffer *); |