Alcuni o tutti?
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.