de momento igual, pero es que no le he metido tiempo, me limito a usarlo
vlc para mi es el mejor media player, yo uso principalmente linux, luego android y en el curro obligado windows, vlc sobre las tres plataformas superior y uso de recursos ajustado, manías de cada uno, pero chapeau para vlc y su gente