From: Claudio Sacerdoti Coen Date: Fri, 22 Jun 2001 16:35:07 +0000 (+0000) Subject: Many modifications to avoid JavaScript security rules of X-Git-Tag: v0_1_3~141 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=17b9d388831eaa2242c46ed76cad9a8e23c1baba;p=helm.git Many modifications to avoid JavaScript security rules of Mozilla/Galeon/Netscape V6 browsers. In particular, now every frame (but the two headers that are completely dummy) is made by UWOBO. The stylesheet applied, named resolve_topurl.xsl (key = RT) substitutes where requested the URL of the interface, that can no longer be inferred in JavaScript from the current URL (that now refers to UWOBO). Hopefully, together with the previous modification to recognize browsers supporting only UNICODE or supporting only the symbol font, all the known compatibility problems have been solved. --- diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html index 28969b748..5c68710e1 100644 --- a/helm/on-line/html/library/control.html +++ b/helm/on-line/html/library/control.html @@ -1,11 +1,16 @@ - - + + + + Control panel - - - + + + + +
@@ -17,7 +22,7 @@