When I look at video codec info, I see Input 1920x1024 and output size of 640x342. The output size stays the same no matter how much I change the window size. Was the video re-compressed to a lower size? Or is 640x342 the size of the window that opened when I double click on the file?