103
103
protected int terminal_gettc(EditLine *, int, char **);
104
104
protected int terminal_telltc(EditLine *, int, const Char **);
105
105
protected int terminal_echotc(EditLine *, int, const Char **);
107
107
protected int terminal__putc(EditLine *, Int);
108
108
protected void terminal__flush(EditLine *);