PDF Vector

I am currently working on exporting PDFs, but I have noticed that the quality deteriorates significantly when zooming in. It appears the PDFs are being created with raster graphics instead of vector graphics.

To improve this, we should implement an option to choose between raster and vector PDF formats.