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

[brisk.git] / web / commons.js

diff --git a/web/commons.js b/web/commons.js
index 18b89c8..33bb8eb 100644 (file)
--- a/web/commons.js
+++ b/web/commons.js
@@ -244,7 +244,7 @@ function postact_logout()
        xhr_rd.abort();
     } catch (e) {}
 
-    eraseCookie("sess");
+    // eraseCookie("sess");
     document.location.assign("index.php");
 }
 
@@ -457,6 +457,7 @@ function notify(st, ancestor, text, tout, butt)
 
     clo = document.createElement("input");
     clo.type = "submit";
+    clo.className = "button";
     clo.value = butt;
     clo.obj = this;
     clo.onclick = this.input_hide;
@@ -566,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;
 }