From 2938549254c7b5f49ecddfe345e2011193eabcc1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 Nov 2001 09:22:27 +0000 Subject: [PATCH] Code cleanup: more code sharing achieved. --- helm/on-line/javascript/graphLinks.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/on-line/javascript/graphLinks.js b/helm/on-line/javascript/graphLinks.js index 9cad277a7..c95c85a45 100644 --- a/helm/on-line/javascript/graphLinks.js +++ b/helm/on-line/javascript/graphLinks.js @@ -75,7 +75,7 @@ function mkMetaTheoryURL(uri) { var rdfuri = mkRDFURI(uri); var getterURL = getParam("param.getterURL"); - var url = setParam(location.href,"keys","meta_theory,T1,T2,L,E"); + var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys())); url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri); return url; } -- 2.39.2