version 1.1, 1996/09/21 05:39:42 |
version 1.2, 1996/09/21 06:06:38 |
|
|
extern char *editproto; |
extern char *editproto; |
#endif |
#endif |
extern int screen_trashed; /* The screen has been overwritten */ |
extern int screen_trashed; /* The screen has been overwritten */ |
|
extern int be_helpful; |
|
|
|
public int helpprompt; |
|
|
static char ungot[100]; |
static char ungot[100]; |
static char *ungotp = NULL; |
static char *ungotp = NULL; |
#if SHELL_ESCAPE |
#if SHELL_ESCAPE |
|
|
* Select the proper prompt and display it. |
* Select the proper prompt and display it. |
*/ |
*/ |
clear_bot(); |
clear_bot(); |
p = pr_string(); |
if (helpprompt) { |
if (p == NULL) |
|
putchr(':'); |
|
else |
|
{ |
|
so_enter(); |
so_enter(); |
putstr(p); |
putstr("[Press 'h' for instructions.]"); |
so_exit(); |
so_exit(); |
|
helpprompt = 0; |
|
} else { |
|
p = pr_string(); |
|
if (p == NULL) |
|
putchr(':'); |
|
else |
|
{ |
|
so_enter(); |
|
putstr(p); |
|
if (be_helpful) |
|
putstr(" [Press space to continue, 'q' to quit.]"); |
|
so_exit(); |
|
} |
} |
} |
} |
} |
|
|
|
|
break; |
break; |
|
|
default: |
default: |
bell(); |
if (be_helpful) |
|
helpprompt = 1; |
|
else |
|
bell(); |
break; |
break; |
} |
} |
} |
} |