des import menu

This menu lets you convert DES files into vector images. It works as follows:
- You enter the name of the DES file in the Input DES file menu field. The
expected file extension is .des.
- You enter a name for the vector file in the Vector image file field. This
is the file you will be creating.
- You click on IMPORT DES FILE.