warum fragste das erst, dann sollen wir das vergessen und dann fragte wieder? bisschen konsequenter bitte
und ist es jetzt "manchmal" oder doch "jedes video"?
wir wissen auch nicht, was du da rumgespielt hast
probier halt z.b. mal den media player classic (google for president - und das meine ich nicht so, wie man es mit ganz viel naivität auslegen könnte

), der ist sowieso besser. und dann kannste mit alt+1, alt+2 etc. wunderbar schnell die größe ändern. (ok, das kann der "echte" wmp wohl auch irgendwie, aber bevor das dein problem löst und du dabei bleibst.. nene

)