I'm looking for a simple video editing software, preferably open-source, that allows me to resize a video file (in resolution, not length). I tried VirtualDub but I couldn't find how resize files with it, and SUPER, which gave very poor results (the file size was too big and the colors were very poor). I also tried Kino on Ubuntu 7.10, but it didn't work at all -- probably because I installed this development release too early, I should have stayed with a stable one :-\
Other ideas are most welcome. Thanks.