X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2FgraphLinks.js;h=a01a6f6d642437571e3884e4cd19edf1863fc5d4;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;hp=b7f351e9f6b2c1d74dd4194baea6206af9f64022;hpb=828d541b8ffcd78fafe2b65d4e9092a319e83d3a;p=helm.git

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index b7f351e9f..a01a6f6d6 100644
--- a/helm/on-line/javascript/graphLinks.js
+++ b/helm/on-line/javascript/graphLinks.js
@@ -72,6 +72,7 @@ function mkMetaTheoryURL(uri)
    var rdfuri = mkBackwardRDFURI(uri);
    var getterURL = getParam("param.getterURL");
    var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
+   url = setParam(url,"param.embedkeys", getEmbedKeys());
    url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
    return url;
 }