name edit



next up previous contents
Next: Tools Up: The descriptor-menu Previous: pat edit

name edit

With name edit you enter edit-mode in which you can edit the fieldnames like ordinary field-values (see section 2.2.4 on updating). The only difference is that you can only enter unique alphanumeric fieldnames. You can't make Jinx accept illegal fieldnames.



LOTOS TOOLS in TWENTE
Fri Oct 7 13:30:15 MET 1994