Deleting and Killing Text

There are two ways to remove a character. The key ( ) removes the one at the current position, while the   key removes the one to the left of the current position, assuming it is in the same subtree as the current position. (If it isn't DELETE does nothing.) To remove a def ref, use  .  The cursor  must point to the beginning of the reference. A selection  of text may also be killed. This involves three steps:

1. With the mouse or the key choose the left or right endpoint of the selection.

2. Select the other endpoint. It must be in the same window as the first. Also, if the first endpoint was within an argument to a def, the second must be within the same argument.

3. Press KILL ; will delete the two endpoints and everything between.

The killed text is moved to the kill  buffer and can be used by the COPY COPY } command (see below). Only killed text goes into the kill buffer; text deleted by DELETE does not.

There can be at most two selected endpoints at any time. If another endpoint is selected the oldest one is forgotten. When a KILL or COPY is done both endpoints are forgotten. The two selected endpoints must be in the same window; if they are not KILL and COPY will give error messages.