-
- Downloads
Revert PDF-export-related changes again for now
The PDF export "works" sometimes with these changes, but the resulting PDF has missing symbols and other formatting issues. For now it's better to have the export give an error instead of "succeeding" with a bad PDF file.
Loading
Please register or sign in to comment