output-distance: set device properties in batch driver file
Originally reported by: hanwen
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.
https://codereview.appspot.com/560020043
Original URL: https://sourceforge.net/p/testlilyissues/issues/5967