X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Ffolder%2Fcontrol.html;h=32c5d71ed888e3251e1e96009a284137c7c5c8fc;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a3d6c0fedcefbeb8f89446889609fbd597eb6e51;hpb=aacc5f566b60763bede71263cb9441b5b2fb04a1;p=helm.git

diff --git a/helm/on-line/html/folder/control.html b/helm/on-line/html/folder/control.html
index a3d6c0fed..32c5d71ed 100644
--- a/helm/on-line/html/folder/control.html
+++ b/helm/on-line/html/folder/control.html
@@ -44,7 +44,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }
  <hr />
  <div class="center">
    <script>
-     document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '&amp;param.toplevel=true">');
+     document.write('&lt;a target="result" style="color:black; text-decoration:none" href="' + url + '">');
      document.write('<img style="border-style:none" src="' + interfaceURL + '/icons/folder.png" />');
    </script>
  <h2 class="uri"><subst:base_CICURI/></h2>