Editora 0.11.0. Archived, so links from that release keep working. Read the 0.17.0 page →
File: Export to PDF
editor.exportPdf Export the current file to a PDF (light theme).
How to run it
Open the command palette (M-x in the Emacs keymap) and search for File: Export to PDF, then press Enter. It has no default keybinding, but you can bind one in Settings → Keymaps.