The menu item "Export DXF..." allows any shape from any shape source to be exported to a DXF file. By default the current shape is checked for export. You may select additional or alternative shapes to be exported. All shapes selected for export are sent to a single layer 0 in the DXF file. Clicking on the "Export" button prompts for a DXF file name and location.
