* animate vout-window resizements. Patch by Pierre d'Herbement <pdherbement --at,chez-- free.fr>. Thanks!