3 ms·

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 http://rs

• jcfrei 14y ago
  nice, this is quite a sophisticated solution! have your heard of airxcell? they're doing something similar (with spreadsheets).
  • jcheng 14y ago
    Hadn't heard of airxcell, looks interesting. Thanks!
• bpatrianakos 14y ago
  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.
  • jcheng 14y ago
    (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.