...

[helm.git] / helm / on-line / javascript / graphLinks.js

diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js
index b7f351e9f6b2c1d74dd4194baea6206af9f64022..a01a6f6d642437571e3884e4cd19edf1863fc5d4 100644 (file)
--- 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;
 }