X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=c95c85a45a6151415df35f536756fb1fcb258f94;hb=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;hp=423d3101f980d12590af959a1a4acf49ab66e007;hpb=133daaf491d1cec4fa9adbb15d626be749efdd79;p=helm.git

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index 423d3101f..c95c85a45 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -36,6 +36,11 @@ function mkGraphURL(uri,keys,use_rdf_uri)
    url = setParam(url,"param.CICURI",escape(uri));
    var uri_set_size = document.uri_set_size.elements[0].value;
    url = setParam(url,"param.uri_set_size",uri_set_size);
+
+   // The generated URL is sometimes too long for I.E.
+   // So it is now better to remove some unuseful pararams from the inner URL
+   url = dropParam(url,"param.processorURL");
+
    url = draw_graphURL + 'draw?url=' + escape(url);
    var url2 = setParam(location.href,"keys","MGL,RT");
    url2 = setParam(url2,"xmluri",escape(url));
@@ -70,7 +75,7 @@ function mkMetaTheoryURL(uri)
 {
    var rdfuri = mkRDFURI(uri);
    var getterURL = getParam("param.getterURL");
-   var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
+   var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
    return url;
 }