291 |
extern t_gui_key *gui_keys; |
extern t_gui_key *gui_keys; |
292 |
extern t_gui_key *last_gui_key; |
extern t_gui_key *last_gui_key; |
293 |
extern t_gui_key_function gui_key_functions[]; |
extern t_gui_key_function gui_key_functions[]; |
294 |
|
extern char *gui_input_clipboard; |
295 |
|
|
296 |
/* GUI independent functions: windows & buffers */ |
/* GUI independent functions: windows & buffers */ |
297 |
|
|
305 |
extern void gui_buffer_free (t_gui_buffer *, int); |
extern void gui_buffer_free (t_gui_buffer *, int); |
306 |
extern t_gui_line *gui_new_line (t_gui_buffer *); |
extern t_gui_line *gui_new_line (t_gui_buffer *); |
307 |
extern t_gui_message *gui_new_message (t_gui_buffer *); |
extern t_gui_message *gui_new_message (t_gui_buffer *); |
308 |
|
extern void gui_input_clipboard_paste (); |
309 |
|
extern void gui_input_clipboard_copy (char *, int); |
310 |
extern void gui_input_insert_char (); |
extern void gui_input_insert_char (); |
311 |
extern void gui_input_return (); |
extern void gui_input_return (); |
312 |
extern void gui_input_tab (); |
extern void gui_input_tab (); |
317 |
extern void gui_input_delete_begin_of_line (); |
extern void gui_input_delete_begin_of_line (); |
318 |
extern void gui_input_delete_end_of_line (); |
extern void gui_input_delete_end_of_line (); |
319 |
extern void gui_input_delete_line (); |
extern void gui_input_delete_line (); |
320 |
|
extern void gui_input_transpose_chars (); |
321 |
extern void gui_input_home (); |
extern void gui_input_home (); |
322 |
extern void gui_input_end (); |
extern void gui_input_end (); |
323 |
extern void gui_input_left (); |
extern void gui_input_left (); |