Does this filter exist?

[Stephan Henningsen]

Is there a filter to blow an image up in double size and
calculate the extra pixels, instead of simply stretching
them, as it is done usually.


-- 

-Stephan  /
         /  http://linux.e.iha.dk/~stephan