]> matita.cs.unibo.it Git - helm.git/commitdiff
Added explodeall parameter (default="false") to generate mactions with
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2001 15:14:18 +0000 (15:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jul 2001 15:14:18 +0000 (15:14 +0000)
only the exploded component. Used during annotation.

helm/on-line/html/cic/control.html

index 1aec1c225e2ec774ea7edeccff7dab32acc80429..626db75801a46594439f6e9ba79b125d152e130b 100644 (file)
@@ -33,6 +33,7 @@ td.back { background-color: #e6e6fa; color: brown }
      url = setParam(url,"prop.doctype-public","");
      url = setParam(url,"prop.encoding","");
      url = setParam(url,"prop.media-type","application/x-helm-annotation-helper");
+     url = url + "&param.explodeall=true";
      document.write(
       '<a target="result" href="' + url + '">Annotate it</a>'
      )