Higher quality of PDF export

In order to export PDF data of higher quality, you no longer have to change the entry in the registry editor. You can now select this option directly in the dialog box.

However, depending on the data exported, this option may increase the file size considerably.