des export menu

This menu is for creating DES files from IcoMetrics vector files. It works as follows:
- Enter the name of the vector file in the Vector image file menu field.
- Enter the name you want for the DES file in the Output DES file menu field.
- Enter the information you want to put in the DES file header in the Header information menu field.
- Click on EXPORT DES FILE.