256 chars max ==> 1024 chars max (because of Coq)

diff --git a/helm/searchEngine/html/moogle_form.html.src b/helm/searchEngine/html/moogle_form.html.src
index 9bc072d360e7db2f2bc25648aa1baa72b3c95727..05eba4cbc3e3d52aad7de979154df7e3dedc93d5 100644 (file)
--- a/helm/searchEngine/html/moogle_form.html.src
+++ b/helm/searchEngine/html/moogle_form.html.src
@@ -12,7 +12,7 @@
        <td><img src="@SEARCH_ENGINE_URL@/getpage?url=whelp_small.png" alt="whelp" /></td>
        <td>&#xA0;&#xA0;</td>
        <td align="center">
-         <input maxLength="256" size="45" name="param.expression" value="@EXPRESSION@" />
+         <input maxLength="1024" size="45" name="param.expression" value="@EXPRESSION@" />
        </td>
        <td>
          <input type="submit" value="locate" name="param.action" />

diff --git a/helm/searchEngine/html/moogle_init.html b/helm/searchEngine/html/moogle_init.html
index 7202e283d291d0fe6958f0150538e42b1c62bbbf..5260da7b88e5d709e59a9e0623a45fc6d89a1fb5 100644 (file)
--- a/helm/searchEngine/html/moogle_init.html
+++ b/helm/searchEngine/html/moogle_init.html
@@ -68,7 +68,7 @@ onclick="submit_query('w')" />
   <table cellspacing="0" cellpadding="0">
   <tr valign="middle"><td width="25%"> </td>
   <td align="center">
-  <input maxLength="256" size="55" name="param.expression" value="" />
+  <input maxLength="1024" size="55" name="param.expression" value="" />
   <br />
   <input type="submit" value="locate" name="param.action" />
   <input type="submit" value="hint" name="param.action" />