]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo-panel/control.html
* syntax update for "remove all stylesheets" in control.js
[helm.git] / helm / uwobo-panel / control.html
index e9e80d83116bb6fb77e04046fffed702eb5b866a..3f68abb91bbef427758f4c9bc511a897c12031de 100644 (file)
@@ -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>