Support for "Export as PDF" Option

[workWithBhagatB]

Description

Currently, the VS-Code Draw.io plugin supports exporting diagrams to various image formats like svg, and png, but it lacks native support for exporting diagrams as PDF directly from the editor.

Adding an "Export as PDF" option would greatly improve usability for users who need to share diagrams in a print-ready or presentation-friendly format.

Benefits:

• Facilitates easy sharing of diagrams in a professional, widely accepted format.
• Reduces need for users to open diagrams in external tools just for PDF conversion.
• Aligns the plugin with core features available in the web draw.io / diagrams.net editor.

Environment:

VSCode Version: 1.102.0 (Universal)
OS: MacOS 15.4.1 (24E263)
Plugin Version: 1.9.0

[hediet]

I'd love to have this, but unfortunately this needs electron API which is not available in VS Code.
I suggest to export to svg and use a separate tool to convert the svg to pdf.
Afaik only chrome can reliably convert 2.1 SVGs into pdfs.

Alternatively, export the diagram as png with a high zoom value (which is what I use when working with Typst).