Moving the Cursor

The cursor can be cycled through the edit windows with the key. This is most useful when copying text from one window to another. To move the cursor around within the current window, use the arrow and LONG keys, as follows.

,

Move the screen cursor up or down one line. The tree cursor is moved to the tree position that most closely corresponds to the screen position one line up or down. If the new tree position is not already being shown in the text window, scroll the window.

,

Move the tree cursor left or right one position. That is, move one position backward or forward in a preorder walk of the tree. Keep in mind that this one--position change of the tree cursor doesn't always correspond to a one--column change of the screen cursor.

LONG , LONG

Move up or down four lines in the screen. If necessary, scroll the window.

LONG , LONG

Move the tree cursor left or right four positions.

LONG LONG , LONG LONG

Move up or down a screen.

LONG LONG , LONG LONG

Move the screen cursor to the left or right end of the current line. The tree cursor is moved left or right to match.

If LONG is used before any other key besides an arrow key it is ignored. (The LONG DIAG command works only in the proof editor.) Also, any extra LONG s are ignored.LONG }