Hello, I am trying to export a high resolution jpeg or ppm from the map display, but I just can't seem to find a way to do this. All I get are fairly low resolution files. Have I missed something ? How can I configure this (beyong chosing jpeg quality) ? The same goes for printing to eps or pdf. Moritz