Immagino che tu alla fine delle modifiche salvi il file, giusto?
Ad ogni modo, io non ho mai provato a cambiare la risoluzione, ma la domanda sorge spontanea: a che pro?
voglio dire: s'è abbastanza grande nn vorrai certo ridurlo, e s'è piccolo un ingrandimento significherebbe una conseguente sgranatura del filmato.
Se vuoi ingrandire o rimpicciolire il tuo divx di "formato" (pixel) lo puoi fare tranquillamente con un player.
Se invece vuoi ridurre le dimensioni ti conviene puntare più sul codec che sulla risoluzione, a mio avviso.
Poi, lascio la parola agli esperti.
"Cangi Luna, già ardi
ed io, creatura della notte
ancora una volta mieterò le mie vittime
per tingerti di rosso, come il loro sangue
di cui fare a meno più non posso.
Ormai per me è troppo tardi,
la mia anima è perduta."
J.J.Luke - Vampiro -
BiteFight