Utente:Jalo/vector.js: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 183:
pulsantiHotkeyPers["mito"] = 'M';
pulsantiDescrPers["mito"] = 'Portale mitologia';
 
 
if (wgAction=="view")
addLoadEvent ( function ()
{
var listenerMouseUp = function(e){
e = (e) ? e : ((window.event) ? window.event : null);
if(e && e.ctrlKey){
if(navigator.appName=='Microsoft Internet Explorer' && navigator.userAgent.indexOf("Opera")==-1) //IE
var t = document.selection.createRange().text;
else //Non-IE
var t = document.getSelection ? document.getSelection().toString() : window.getSelection().toString();
t = t.replace(/^\s+/, '').replace(/\s+$/, ''); //trim
var q = t.indexOf('"') == -1 ? '"' : '';
if(t)
window.open("http://www.google.com/search?q=" + q + encodeURIComponent(t) + q);
}
}
if (window.addEventListener)
window.addEventListener('mouseup', listenerMouseUp, false); //Non-IE
else
document.onmouseup = listenerMouseUp; //IE
}
 
 
 
//</pre>