Previous: display Up: ../slides.html Next: exit
CONTINUATION-CHARACTER | END-OF-COMMAND | ERROR-DELETE |
FULL-RECOGNITION | HELP-CHARACTER | INDIRECT-FILE-PREFIX |
LAST-LINE | LINE-DELETE | PARTIAL-RECOGNITION |
QUOTE-NEXT-CHARACTER | REPEAT-COUNT | RETYPE-LINE |
WORD-DELETE) char) |
SYSTEM-DEFAULTS
In order to support in-line editing during interactive typein of
commands, the parsing package provides a number of editing options.
Normally, those provided by the host operating system will be the most
natural to use, and will be chosen as the default options when the
parsing package is installed on a given computer. At times, however,
it may be convenient to temporarily change these, for which purpose the
options of the EDIT command are provided. Edit characters can be one-
or two-character sequences, or both, and are provided either as named
ASCII control characters or as quoted character strings following an
option name. Any edit option may be disabled by defining it with a
null string (e.g. EDIT ABORT-COMMAND '').
Because recognition and help requests cause the current input line to
be retyped, after which additional text can be entered on the same
line, it is not directly possible with normal host terminal editing to
edit back into the previous text. The default two-character edit
sequences allow this to be done.
An EDIT command without any options will display the current settings,
and an "EDIT SYSTEM-DEFAULTS" command will restore all edit characters
to their default values for the host operating system.