export format
A6669 opened this issue · comments
can you add a new feature that making tikzcd editor export png and pdf file?
No, we can't reimplement tikz on the web; that's out of scope for this project. You should let tikz and LaTeX do the drawing for you. You can use the standalone package to convert your diagrams into png.