Users are going to need a way to export a construction in various formats. It would be great to be able to export to SVG, PNG, (animated) GIF and perhaps TikZ -- a LaTeX compatible package. Currently the display is rendered in SVG and this would be the starting point.
This would require adding an “export/share” icon to the title bar. Clicking this would open a popup/dialog window that would contain a “copy link to construction” section, and an “export image” icon. Clicking the export image icon would open a window that has choices for export file type/ options combined with a save file dialog box. (Like the “share graph” functionality in https://www.desmos.com/calculator )
Users are going to need a way to export a construction in various formats. It would be great to be able to export to SVG, PNG, (animated) GIF and perhaps TikZ -- a LaTeX compatible package. Currently the display is rendered in SVG and this would be the starting point.
This would require adding an “export/share” icon to the title bar. Clicking this would open a popup/dialog window that would contain a “copy link to construction” section, and an “export image” icon. Clicking the export image icon would open a window that has choices for export file type/ options combined with a save file dialog box. (Like the “share graph” functionality in https://www.desmos.com/calculator )