Descriptionoutput-distance: set device properties in batch driver file
This fixes the output quality of the regtest results.
Previously, the code sets a device by doing
(png16m) finddevice
this put a default device on the stack, ignoring the command-line
arguments. To fix this, specify these settings (HWResolution,
TextAlphaBits, GraphicsAlphaBits) as arguments to the putdeviceprops
call.
Patch Set 1 #
|