comparison src/input.h @ 2275:38fea6d34daf

[project @ 1996-05-24 04:06:52 by jwe]
author jwe
date Fri, 24 May 1996 04:08:52 +0000
parents 138b3c98dc85
children f296bbc757a1
comparison
equal deleted inserted replaced
2274:9750746d7da5 2275:38fea6d34daf
65 extern int promptflag; 65 extern int promptflag;
66 66
67 // A line of input. 67 // A line of input.
68 extern string current_input_line; 68 extern string current_input_line;
69 69
70 char *gnu_readline (const char *s); 70 char *gnu_readline (const char *s, bool force_readline = false);
71 71
72 extern string Vps4; 72 extern string Vps4;
73 73
74 extern void symbols_of_input (void); 74 extern void symbols_of_input (void);
75 75