- Click the Export Icon in the side menu.
- Click the PDF Tab.
- Use the toggles to set your document preferences.
- Click Export to create the file.
Note that you may need to add .PDF to the end of the file name before exporting.
You can also follow the path: File > Export > PDF.
When exporting to PDF, you have the option to choose between several fonts including Courier Prime, Latin Modern Mono and Noto CJK. You can access this from the PDF exporting window.