Il bug è stato chiuso così, cioè dicendo che non è un problema di GNOME ma di Repubblica<br>Ho già scritto a <b><span class="nw" id="_user_repubblicaradio@repubblica.it"><a href="mailto:repubblicaradio@repubblica.it">repubblicaradio@repubblica.it
</a><br></span></b><span class="nw" id="_user_repubblicaradio@repubblica.it">se vi interessa la cosa... fatelo anche voi.<br></span><br>Upstream bug has been marked as NOTGNOME with that comment:<br><br>"The Javascript at
<a href="http://scripts.kataweb.it/tz/player.js" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
http://scripts.kataweb.it/tz/player.js</a> contains:<br> if (navigator.plugins && navigator.plugins.length){<br> for (x=0; x<navigator.plugins.length; x++){<br> if (navigator.plugins
[x].name.indexOf('Windows Media') != -1){<br> media_player = true;<br><br>The problem with the MPlayer plugin code is that the plugin can only associate<br>itself with one plugin name. Would need to split the plugin into multiple
<br>plugins to be able to support this, which would suck.<br><br>The best would be to bug republicca to update its scripts to check for<br>mime-types as well:<br>if (navigator.mimeTypes && navigator.mimeTypes.length
)<br>{<br> x = navigator.mimeTypes['video/x-ms-asf-plugin'];<br> if (x && x.enabledPlugin)<br> media_player = true;<br><br>