To get a good quality picture, the resolution needs to be set high, but then the picture size gets too big and needs to be scaled down and this gets tiring after a while.
Example: this small formula at acceptable resolution 192 turns out as a whopping 795 x 337 pixels.
Ideally the output size should be customizable in settings.


Here is a comparison of a decent sized output size at 48 dpi, to one scaled down from 192. It's obvious:

To get a good quality picture, the resolution needs to be set high, but then the picture size gets too big and needs to be scaled down and this gets tiring after a while.
Example: this small formula at acceptable resolution 192 turns out as a whopping 795 x 337 pixels.
Ideally the output size should be customizable in settings.
Here is a comparison of a decent sized output size at 48 dpi, to one scaled down from 192. It's obvious: