X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=79ed47fd7ef1c626592192a7c9852bc3c2175e1c;hb=6b49a454bb263417ad7f73eeb5bc4d24759d543a;hp=4da22fac90a8f87dc5f73492b9a6c13fd3765f0c;hpb=3f88b5fffc17ecc8b3cb1645f9be846e740c8a3a;p=helm.git

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) +