Matitaweb: more changes to file selection dialog box.

[helm.git] / matitaB / matita / matitaFilesystem.ml

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 47e2ff59998f08748462230825bb32e1f87c56b0..b6a26f98bf5cb89d85ed722c6e3e682df50a9a78 100644 (file)
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -82,7 +82,7 @@ let html_of_library uid =
   in
   let leaf lpath =
     "<img src=\"treeview/doc.gif\"/>\n" ^
-    "<a href=\"javascript:selectFile('" ^ lpath ^ "')\">" ^ 
+    "<a href=\"javascript:void(0)\" onClick=\"selectFile('" ^ lpath ^ "')\" onDblClick=\"retrieveFile('" ^ lpath ^ "')\">" ^ 
      (Filename.basename lpath) ^ "</a><br/>"
   in