From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 19 Sep 2003 11:58:43 +0000 (+0000)
Subject: param.framewidth = 150 (hard-coded ;-(    pour Hanane ;-((((((((((
X-Git-Tag: V_0_4_3_4~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=6b49a454bb263417ad7f73eeb5bc4d24759d543a

param.framewidth = 150 (hard-coded ;-(    pour Hanane ;-((((((((((
---

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index 4da22fac9..79ed47fd7 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -201,7 +201,8 @@ function makeURL(type,uri,cicflags,typesflags)
        "&param.encoding=iso-8859-1" +
        "&param.media-type=text/html" +
        "&param.keys=" + getCICHTMLKeys() +
-       "&param.interfaceURL=" + escape(interfaceURL);
+       "&param.interfaceURL=" + escape(interfaceURL) +
+       "&param.framewidth=150";
     } else if (format == "html" && type == "cic") {
       keys = getCICHTMLKeys() +
        "&param.processorURL=" + escape(processorURL) +