Resize for export #5
Description
Users should be able to resize the image before export (e.g. when they choose for the image to be animated, which may take a REALLY long time on low-power devices, but may become quicker if the image is first resized to a lower resolution / if the export resolution is lowered).
Note: currently, the export resolution gets limited to a hardcoded 256x256. Though this works okay-ish, the ideal situation would be as described above.