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

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 185:
 
 
function closePopuphidePopup()
{
document.getElementById("cercaPopup").style.display = "none";
Riga 203:
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;
Riga 213:
if (t)
showPopup(t, e.clientX, e.clientY);
else
hidePopup();
}
}
Riga 230 ⟶ 232:
document.getElementById("bodyContent").appendChild(img);
window.onclick = closePopup;
})