1 #ifndef __GUI_READLINE_H
2 #define __GUI_READLINE_H
4 extern char *cutbuffer;
6 void input_listen_init(int handle);
7 void input_listen_deinit(void);
10 time_t get_idle_time(void);
12 void gui_readline_init(void);
13 void gui_readline_deinit(void);