Jpegquality

[pauliojanpera]

Allow the user to control the compression quality of JPEG exports.

[petergolde]

I'm not entirely convinced as to the necessity of this. Like if you want a different quality you can always export as a PNG and then convert using an image editor. If you think the default quality of 80 is the wrong choice, why and what would you change it to?

Very few users are going to know what this means.

[pauliojanpera]

For (remote) printer related reasons, we would prefer to use the JPEG export route to print out our course maps. The 600dpi output quality of our laser printer is already at the limits of acceptability for some 1:10000 scale maps and the compression artefacts at 80 % are actually quite terrible. You can see if you zoom on them. I would go with 95 % if I had to choose a fixed number.