Hacker News new | past | comments | ask | show | jobs | submit login

Our web-based IDE[1] does exactly this, including syncing between source and PDF, using PDF.js. Works great for the most part!

[1] http://rstudio.org




Are you guys actually generating PDFs from user input? If so, I'd be really interested in finding out how you do it if you don't mind sharing. I've found a number of apps that allow you to generate PDFs server side but often the installation is near impossible (dependency issues), e rendering is not good enough, or the API makes using it with a web app clunky. I did find a solution (don't recall the name) that actually used Webkit to render web pages and then turned them into PDFs but I was never able to get it to work in an app. It only seemed to work some of the time and only through ssh. But if you can't say, then I can respect that.


(Just saw this comment, sorry for not replying earlier)

We use LaTeX to generate the PDF. You could try pandoc if you're going from HTML (or markdown) to PDF.


nice, this is quite a sophisticated solution! have your heard of airxcell? they're doing something similar (with spreadsheets).


Hadn't heard of airxcell, looks interesting. Thanks!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: