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>&quot;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> &nbsp; &nbsp; &nbsp; &nbsp;if (navigator.plugins &amp;&amp; navigator.plugins.length){<br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;for (x=0; x&lt;navigator.plugins.length; x++){<br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;if (navigator.plugins

[x].name.indexOf('Windows Media') != -1){<br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;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 &amp;&amp; navigator.mimeTypes.length

)<br>{<br> &nbsp; &nbsp; &nbsp; &nbsp;x = navigator.mimeTypes['video/x-ms-asf-plugin'];<br> &nbsp; &nbsp; &nbsp; &nbsp;if (x &amp;&amp; x.enabledPlugin)<br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;media_player = true;<br><br>