How to save a file
To save the work in your current DESUMA workspace, it is possible to
store the automaton in several formats. DESUMA supports an .xml file format by default but data can also be saved as a PNG, JPG, GIF, or the UMDES text
file (.fsm).
Save the workspace as an .xml file
There are two ways to save a workspace: either using the main menu
or using the appropriate icon on the toolbar.
- Go to File menu and select Save or Save
as...

- If you select Save as.., a dialogue box will appear
prompting you for a new filename.
- If you are saving a new workspace (that has not previously
been saved) and select Save, a dialogue box will
automatically appear prompting you for a filename.
- Click on the
icon on the menu bar.
Again, if you are saving a new workspace, a dialogue box will
automatically appear prompting you for a filename.
Save the workspace as a PNG, JPG, BMP, GIF, or FSM (UMDES) file
To save your workspace under a different file format, go to the File
menu, choose Export, and finally select the
desired file format from the submenu. A dialogue box will
appear, prompting you for the filename and the location where the file
will be saved.