Some time ago Nicola Girardi posted an anti-aliasing patch
for 0.7.1 or 0.7.2 (thanks Nicola!). Based on that patch,
I have created a patch to dillo-0.7.3.
Please, could you also tell us what you have changed besides
adapting the patch to 0.7.3?
Best regards.
