Download The Editor exaEdit User's Manual

Transcript
69
3.1. Functions
name
‘del’
‘ins’
‘+page’
‘-page’
‘+half’
‘-half’
‘cleft’
‘cright’
‘cup’
‘cdown’
‘pos1’
key(s)
DEL
INS
F8, PgDn ↓
F7, PgUp ↑
F11
F10
←
→
↑
↓
Pos1, Home
function
delete character at the place of the cursor
insert mode on or off
whole page forward
whole page backward
half a page forward
half a page backward
cursor to the left
cursor to the right
cursor upward
cursor downward
restore picture after the last return
The command
help function
shows a short help message in the usual format, allowing you to find an exaEdit function without consulting the user’s
manual.
3.1.31 Inserting Record Numbers
For records that are inserted between two existing numbers, exaEdit creates a new number that lies in the interval
between the existing ones. As mentioned in section 3.1.9, Record Numbers, this serves to ensure the strict ascendancy
of the record numbers.
Usually, the interval between two records will be 100 and both record numbers will also be divisible by 100, for
example:
800 ...
900 ...
Inserting one new record will create a record with the number 820:
800 ...
820 new record
900 ...
Further records that are inserted will receive the numbers 840, 860 and 880. When even more records are inserted,
they will receive suitable numbers between 880 and 900.
If the standard intervals are not 100, the insertion intervals also will not be 20, but an interval suitable in comparison
with the standard interval. In all of these cases, exaEdit tries to achieve the following:
• Use ‘round’ numbers rather than ‘weird’ ones.
• When creating a new number, choose the lower half of the existing interval instead of the middle. The
reason for this is the assumption that further inserted records will more likely follow and not precede
the new record.
• Do not renumber as long as it is possible to insert new record numbers between existing ones.
• When renumbering is needed, do not use the standard interval, but a smaller one (e.g. 20 instead of 100
or 100 instead of 500). This way, not all of the following existing record numbers have to be renumbered.