]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
Many modifications to avoid JavaScript security rules of
[helm.git] / helm / on-line / javascript / control.js
index e40ea42106226596c5516ceef426df4a26a37595..472100b9f1fb6d1fa727bdd46d0bfdd0ea126589 100644 (file)
@@ -30,7 +30,15 @@ function updateOutput(output,format)
     updateMode(0, new_mode);
     if (new_mode == "raw") updateMode(2, format.options[format.selectedIndex].value);
     else updateMode(1, format.options[format.selectedIndex].value);
-    location.search = dest + top.mode;
+
+    var href =
+     top.processorURL + 'apply' +
+     '?keys=RT' +
+     '&param.topurl=' + topurl +
+     '&xmluri=' +
+     escape(top.topurl + '/html/library/control.html' + dest + top.mode);
+    
+    location.href = href;
   }
 }
 
@@ -86,14 +94,23 @@ function refreshReload()
       "&getterURL=" + top.getterURL +
       "&UNICODEvsSYMBOL=" + top.UNICODEvsSYMBOL;
 
-   top.frames[0].document.links[0].search = search;
-   top.frames[0].document.links[1].search = search;
+   var href =
+    top.processorURL + 'apply' +
+    '?keys=RT' +
+    '&param.topurl=' + top.topurl +
+    '&xmluri=' +
+    escape(top.topurl + '/html/library/index.html' + search);
+    
+   top.frames[0].document.links[0].href = href;
+   top.frames[0].document.links[1].href =
+    top.topurl + '/html/index.html' + search;
 
    return true;
 }
 
 function refreshcicHeader(headerURL)
 {
+// Qui e sotto da modificare per usare UWOBO!!!
    top.cicheader.location.search = "?keys=GP&xmluri=" + headerURL + "&param.uri=" + top.cicuri;
    return true;
 }