Pregunto esto, porque supongo que en windows no habrá problema pues instalará divxplayer, pero en linux al no haber una función que te deje elegir reproductor es técnicamente imposible....al menos para mi.
Por esta razón google Chrome para mi queda relegado a un segundo plano.
Gracias
