comparison src/input.cc @ 3165:e4bbfc196e53

[project @ 1998-04-16 03:01:47 by jwe]
author jwe
date Thu, 16 Apr 1998 03:05:03 +0000
parents bea2f5be3eab
children fccab8e7d35f
comparison
equal deleted inserted replaced
3164:45490c020e47 3165:e4bbfc196e53
84 // 4 ==> echo commands read from command line 84 // 4 ==> echo commands read from command line
85 // 85 //
86 // more than one state can be active at once. 86 // more than one state can be active at once.
87 int Vecho_executing_commands; 87 int Vecho_executing_commands;
88 88
89 // The time we last printed a prompt.
90 time_t Vlast_prompt_time;
91
89 // Character to append after successful command-line completion attempts. 92 // Character to append after successful command-line completion attempts.
90 static char Vcompletion_append_char; 93 static char Vcompletion_append_char;
91 94
92 // Global pointer for eval(). 95 // Global pointer for eval().
93 string current_eval_string; 96 string current_eval_string;
189 192
190 static string 193 static string
191 octave_gets (void) 194 octave_gets (void)
192 { 195 {
193 string retval; 196 string retval;
197
198 Vlast_prompt_time = time (0);
194 199
195 if ((interactive || forced_interactive) 200 if ((interactive || forced_interactive)
196 && (! (reading_fcn_file || reading_script_file))) 201 && (! (reading_fcn_file || reading_script_file)))
197 { 202 {
198 string ps = (promptflag > 0) ? Vps1 : Vps2; 203 string ps = (promptflag > 0) ? Vps1 : Vps2;