Lines Matching defs:gl_read_terminal
235 char input_char; /* Commands that call gl_read_terminal() */
891 static int gl_read_terminal(GetLine *gl, int keep, char *c);
2806 while(gl_read_terminal(gl, 1, &c) == 0) {
2831 * To get here, gl_read_terminal() must have returned non-zero. See
2885 if(gl_read_terminal(gl, 1, &c) == 0) {
3133 static int gl_read_terminal(GetLine *gl, int keep, char *c)
3172 gl_print_info(gl, "gl_read_terminal: Buffer overflow avoided.",
3764 if(gl_read_terminal(gl, 1, &c))
7133 if(gl_read_terminal(gl, 1, &c))
7380 if(gl_read_terminal(gl, 1, &c))
8318 if(gl_read_terminal(gl, 1, &c))
12718 } else if(gl_read_terminal(gl, 0, &c) == 0) {