1 Using MLWorks interactively

1.6 Repeating and editing input

The listener has extensive support for editing and re-evaluating previous input. This can be done by moving about the listener window, and by using the listener's built-in history mechanism.

While you are typing a declaration, you can delete characters using the Delete key, and move the cursor using the cursor keys to insert or delete characters at any point in the current input. (Anything before the current MLWorks> prompt may not be modified.) When you press the Return key (or the Evaluate button on the listener), MLWorks reads the declaration and evaluates it.

You can use this to repeat an earlier one-line declaration, by moving the cursor to the line in the listener window containing the complete declaration and hitting Return (or, as usual, the Evaluate button). MLWorks copies the declaration to the current prompt at the bottom of the window and reads it.

Parts of the window may also be selected with the mouse and cut, copied or deleted using the relevant entries on the Edit menu. Cut or copied items may be pasted elsewhere by positioning the cursor and using Edit > Paste.

1.6.1 - Keyboard shortcuts
1.6.2 - The History menu

MLWorks User Guide (UNIX version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker