as a somewhat new user myself,
i think that this is an easy solution?
when you export, it opens a dialog box that creates a
.jpd, .pdf, etc..
you can change the resolution of it, by changing the dpi factor
to a higher number.
i think that this is what you are looking for?