VLC player is now resizing correctly and no more issues when switching to the default player back and forth.