27 Nov
2017
27 Nov
'17
2:24 p.m.
Hi Frank, version from 26.11.2017 works correctly for me, including resizing of hgt, I have used option --changehgtsize=76. -- Best regards, Andrzej