Closed edwardotis closed 2 years ago
"Save As" and "Copy to Clipboard" actions are added
@edwardotis the version with export functionalty is now available in plugins repo: https://plugins.jetbrains.com/plugin/10312-dot-language/versions/stable/158041
An Export to File function would be quite helpful. Perhaps supporting png files to start.