File menu: saving and quitting
This menu accesses commands to save configuration information and exit
dbXtra.
Prompts for a filename, then creates a file containing dbXtra window geometry commands suitable for inserting in an .Xdefaults file.
[dbxtra command: quit]
Exits dbXtra, after prompting to ensure that you really want to quit.