]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
Many changes in the client-side interfaces:
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
index aa6ba6b6e6fd7882e993b95682aaee6d89e9c709..e11cdb8c7de0c0dc551e2e80115e52579507b863 100644 (file)
@@ -6,7 +6,7 @@
                        for (i=0; i<aliases.length; i++) {
                                top.aliasglob[i] = aliases[i];
                        }
-                       top.window.open(top.topurl+"/getpage?url=editorpdq.html", "sw");
+                       top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
                </script>
        </head>
        <body>