+++ /dev/null
-#ifndef __GUI_READLINE_H
-#define __GUI_READLINE_H
-
-extern char *cutbuffer;
-
-void input_listen_init(int handle);
-void input_listen_deinit(void);
-
-void readline(void);
-time_t get_idle_time(void);
-
-void gui_readline_init(void);
-void gui_readline_deinit(void);
-
-#endif