First, this is useless, then, it is stupid, and finally, it will resize your
video if your resized it by hand. (However, this reveals a bigger bug in the
 VideoWidget ) This is NOT critical, but this is not really good.