size refresh

Ich setze MP schon seit seinen Anfängen ein. Früher, wenn ein Video wiedergegeben wurde, das gleichzeitig vom TV aufgenommen wird, haben die früheren Versionen von MP Player seine Größe (rechts) immer aktualisiert. Das war sehr wertvoll, denn damit konnte man eine programmierte Aufnahme live...