Term editor windows are used for viewing and editing terms. The
ML Top Loop
window is a term editor window, as are the windows opened
when you view most kinds of Nuprl library objects. Each window
displays a single display form tree representing a single term. The
editor accepts input from both the keyboard, keypad and the mouse.
All editing operations can be carried out from the keyboard alone,
though frequently the mouse and keypad commands are far simpler and
easier to remember. Mouse commands are described in
Section 
.
With a text cursor, keystrokes corresponding to printing characters cause those characters to be inserted. With a term or screen cursor, printing characters can form part or all of editor commands.
Input characters typed at the keyboard in multi-character commands are echoed as highlighted text near the position of the cursor, and can be corrected by using DELETE .
The default key bindings are intended to be reminiscent of emacs's key bindings. You may wish to use alternative key bindings. See the editor customization section for details ( not yet written).
The editor adjusts the display of an object in a window to the size of
the window. If the window is too small, not all the object can be
displayed at once. In this event, one can resize the window, or scroll
the window up and down. Sometimes, if the window is to narrow, some
subterms are elided. The display form tree for an elided subterm
is replaced by 
...
. Eventually, you will be able to examine
elided subterms by moving the root display form of an editor window to
some term tree position other than the term root. Currently, the only
way to encourage the system to un-elide a subterm is to widen the
window as much as possible.