comparison src/input.cc @ 1363:ed5757e3333b

[project @ 1995-09-05 23:26:59 by jwe]
author jwe
date Tue, 05 Sep 1995 23:26:59 +0000
parents dc9c01f66a19
children 69d15711b832
comparison
equal deleted inserted replaced
1362:f9745982c987 1363:ed5757e3333b
71 #define LINE_SIZE 8192 71 #define LINE_SIZE 8192
72 static int no_line_editing = 0; 72 static int no_line_editing = 0;
73 #endif 73 #endif
74 74
75 char * 75 char *
76 gnu_readline (char *s) 76 gnu_readline (const char *s)
77 { 77 {
78 #if 0 78 #if 0
79 static int state = 0; 79 static int state = 0;
80 static char *line_from_stdin = 0; 80 static char *line_from_stdin = 0;
81 if (no_line_editing) 81 if (no_line_editing)
975 int read_as_string = 0; 975 int read_as_string = 0;
976 976
977 if (nargin == 2) 977 if (nargin == 2)
978 read_as_string++; 978 read_as_string++;
979 979
980 char *prompt = "debug> "; 980 const char *prompt = "debug> ";
981 if (nargin > 0) 981 if (nargin > 0)
982 { 982 {
983 prompt = args(0).string_value (); 983 prompt = args(0).string_value ();
984 984
985 if (error_state) 985 if (error_state)