Marcello Seri

Results 435 comments of Marcello Seri

I have been testing this on multiple PDFs, I have some examples in which the offsets are coming out incorrect (happens also with the old pdftk-based implementation though). Unfortunately I...

@Lspencer neat! We should probably make exportNotebook generic on the page format!

@ericsfraga would you mind making a PR to my `make-python-based` with the fix?

I like the idea of generating the "right" foreground so that there are as few rescaling as possible in the document merge. It does not seem that this will be...

This has gotten stale. I am starting working on the version supporting the new format, integrating @ericsfraga changes as well. Would it make sense to just fork this. It seems...

I will update the code to use the new rm2svg for .rm files, generate the appropriate foreground, and move everything to a separate repo. My hopes are for all this...

Fwiw, your solution is fine, maybe we should document it better. If you don't need the body you can also call `Cohttp_lwt_body.drain_body body`, would that do too much?

How have you solved this issue in the meantime?