2000-04-26 04:03:38 -04:00
|
|
|
#ifndef __GUI_READLINE_H
|
|
|
|
#define __GUI_READLINE_H
|
|
|
|
|
2000-07-11 05:44:38 -04:00
|
|
|
extern char *cutbuffer;
|
|
|
|
|
2000-04-26 04:03:38 -04:00
|
|
|
void readline(void);
|
|
|
|
time_t get_idle_time(void);
|
|
|
|
|
|
|
|
void gui_readline_init(void);
|
|
|
|
void gui_readline_deinit(void);
|
|
|
|
|
|
|
|
#endif
|