Re:
I actually meant image scaling, not anti-aliasing.
Re:
The issue with pre-scaling is that it only looks correct at one zoom level (any zoom out will have the same issue). It will also be not high-resolution, which won't look good for printing.
You are right. However, this is not a yEd shortcoming but a consequence of how raster images work. It is possible to mitigate the effect to some degree using sophisticated scaling algorithms, but a.) this is the domain of image manipulation applications and b.) even sophisticated scaling algorithms will not produce "perfect" results. If you want graphics that look nice for any zoom level, you will have to use vector graphics such as SVG instead of raster images.
The issue with pre-scaling is that it only looks correct at one zoom level (any zoom out will have the same issue). It will also be not high-resolution, which won't look good for printing.
Edit: I actually meant image scaling, not anti-aliasing.
https://en.wikipedia.org/wiki/Image_scaling
I'll just assume there's no 'live' rendering that handles this (during zoom/panning).
It's still a wonderful application and I intend to use use it.