correct a bug

[brisk.git] / web / commons.js

diff --git a/web/commons.js b/web/commons.js
index d286372..1849705 100644 (file)
--- a/web/commons.js
+++ b/web/commons.js
@@ -109,6 +109,22 @@ function getStyle(x,IEstyleProp, MozStyleProp)
 
     // var card_pos = RANGE 0 <= x < cards_ea_n
 
+function show_bigpict(obj, act)
+{
+   var big;
+
+   // alert("offsetTop: "+obj.offsetTop+"  offsetLeft: "+obj.offsetLeft+"obj.id: "+obj.id);
+   big = $(obj.id+"_big");
+   if (act == "over") {
+       big.style.left = obj.offsetLeft + 100+"px";
+       big.style.top  = obj.offsetTop  +  10+"px";
+       big.style.visibility = "visible";
+       }
+   else {
+       big.style.visibility = "hidden";
+       }
+}
+
 function rnd_int(min, max) {
   return Math.floor(Math.random() * (max - min + 1) + min);
 }
@@ -701,15 +717,15 @@ function set_names(so,ea,ne,nw,we)
 {
 //    alert("EA: "+ea);
     $("name").innerHTML = so; 
-    $("name").title = so; 
+    $("name").title = unescapeHTML(so); 
     $("name_ea").innerHTML = ea;
-    $("name_ea").title = ea;
+    $("name_ea").title = unescapeHTML(ea);
     $("name_ne").innerHTML = ne;
-    $("name_ne").title = ne;
+    $("name_ne").title = unescapeHTML(ne);
     $("name_nw").innerHTML = nw;
-    $("name_nw").title = nw;
+    $("name_nw").title = unescapeHTML(nw);
     $("name_we").innerHTML = we;
-    $("name_we").title = we;
+    $("name_we").title = unescapeHTML(we);
 
     return;
 }
@@ -899,6 +915,36 @@ function room_checkspace(emme,tables,inpe)
     $("esco").innerHTML = "<input class=\"button\" name=\"logout\" type=\"button\" value=\"Esco.\" onclick=\"window.onunload = null; act_logout();\" type=\"button\">";
 }
 
+function  unescapeHTML(cont) {
+    var div = document.createElement('div');
+    var memo = "";
+    var i;
+
+    div.innerHTML = cont;
+    if (div.childNodes[0]) {
+        if (div.childNodes.length > 1) {
+            if (div.childNodes.toArray)
+                alert("si puo");
+            else {
+                var length = div.childNodes.length, results = new Array(length);
+            while (length--)
+                results[length] = div.childNodes[length];
+                
+            for (i=0 ; i<results.length ; i++)
+               memo = memo + results[i].nodeValue;
+            }
+
+            return (memo);
+        }
+        else {
+            return (div.childNodes[0].nodeValue);
+        }
+    }
+    else {
+        return ('');
+    }
+}
+
 function playsound(tag, sound) {
    // g_withflash is a global var
    if (g_withflash) {