Matitaweb: more changes to file selection dialog box.

[helm.git] / matitaB / matita / index.html

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 143d914884c7ac1cb19aaf01f5641d6f1ae4dcaf..cfaeddc4097c0afd45e0b2741b75ca0373383be1 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -66,7 +66,7 @@
   <div class="diaTitle" id="dialogTitle"></div>
   <div class="scroll" id="dialogContent"></div>
   <INPUT class="diaFile" type="text" id="dialogFilename">
-  <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogSelect()" style="width:70px">
+  <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogOK()" style="width:70px">
 </div>
  </body>
  </html>