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.