X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo-panel%2Fcontrol.html;h=3f68abb91bbef427758f4c9bc511a897c12031de;hb=54c135065412e4af07be487b453dbac7c2b45034;hp=e9e80d83116bb6fb77e04046fffed702eb5b866a;hpb=76541a5b2971980e72b2e5e9a74bd648ffbc1e36;p=helm.git

diff --git a/helm/uwobo-panel/control.html b/helm/uwobo-panel/control.html
index e9e80d831..3f68abb91 100644
--- a/helm/uwobo-panel/control.html
+++ b/helm/uwobo-panel/control.html
@@ -370,7 +370,7 @@ care, and remember that the servlet can be shared among different users:
   </td>
   <td>
     <form>
-      <input type="button" value="Reload All" onClick="top.result.location.replace(getUwoboURL() + 'reload?keys=')"/>
+      <input type="button" value="Reload All" onClick="reloadAllStylesheets()"/>
     </form>
   </td>
 </tr>