Modify Scaling factor ?

[halschner]

It would be great if for the snapshot a higher scaling factor than the one of the screen could be used. This would probably improve picture quality of the screenshot. Is that possible ?

[davidman]

Hey, that sounds possible and fun. Either you or I can start with something. I will take a look into it in the next days.