Here's some more fixes for exporting, in particular fixing the PDF export (and all other exports) due to miscalculation of the resolution in the original code. Also minor fix for Demos::Prima
BTW: I see that github didn't quote do what I expected, it added the already merged efdc0d0 to the PR. I don't see an easy way to get rid of it, but if this is a problem just tell and I'll kill the whole fork and will redo both commits from a fresh repo.
dk
commented
1 year ago
Here's some more fixes for exporting, in particular fixing the PDF export (and all other exports) due to miscalculation of the resolution in the original code. Also minor fix for Demos::Prima
BTW: I see that github didn't quote do what I expected, it added the already merged efdc0d0 to the PR. I don't see an easy way to get rid of it, but if this is a problem just tell and I'll kill the whole fork and will redo both commits from a fresh repo.