Utente:Jalo/vector.js: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 185:
function
{
document.getElementById("cercaPopup").style.display = "none";
Riga 203:
var listenerMouseUp = function(e){
e = (e) ? e : ((window.event) ? window.event : null);
if(e
if(navigator.appName=='Microsoft Internet Explorer' && navigator.userAgent.indexOf("Opera")==-1) //IE
var t = document.selection.createRange().text;
Riga 213:
if (t)
showPopup(t, e.clientX, e.clientY);
else
hidePopup();
}
}
Riga 230 ⟶ 232:
document.getElementById("bodyContent").appendChild(img);
})
|