aggiunti title per avere in nome dell'utente se si va sulla sua area pubblica

diff --git a/web/commons.js b/web/commons.js
index 0b1275e..33bb8eb 100644 (file)
--- a/web/commons.js
+++ b/web/commons.js
@@ -567,10 +567,16 @@ function set_names(so,ea,ne,nw,we)
 {
 //    alert("EA: "+ea);
     $("name").innerHTML = so; 
+    $("name").title = so; 
     $("name_ea").innerHTML = ea;
+    $("name_ea").title = ea;
     $("name_ne").innerHTML = ne;
+    $("name_ne").title = ne;
     $("name_nw").innerHTML = nw;
+    $("name_nw").title = nw;
     $("name_we").innerHTML = we;
+    $("name_we").title = we;
+
     return;
 }