5 ms·
Nice, this is what I've been looking for for a while now. Would it be possible to add an Export to PDF without relying on a local PDF distiller?
by mahrain 16y ago
Nice, this is what I've been looking for for a while now.
Would it be possible to add an Export to PDF without relying on a local PDF distiller?
- vmind 16y agoBecause of how the markup is generated, it's not too nice to get a 1:1 pdf. I have been looking at PhantomJS (headless webkit) which can render out to a pdf, but it seems not to like something about the libraries used, as the fonts and math are not displayed. Hopefully that can be fixed.