How to increase resolution of figures exported from Draw

Be kind enough to accept the answer by clicking (only once, even if you don’t see immediate change) on the gray tick mark at top left of answer.

FTR: commit 00b0ff0687081bd6e88d3c3b0a1352c291fa6bb8 (for version 7.4) enables setting any option (including resolution) for PNG export from command line.