X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matitaB%2Fmatita%2FmatitaFilesystem.ml;h=2686fff42991037c26ee03ee09a4f38388bee38e;hb=83fa6fc1317f18af956b194b996afae10ec859a7;hp=47e2ff59998f08748462230825bb32e1f87c56b0;hpb=101b5d08f7013ab2dc9e4fbb06e9b18eb0e1fcf7;p=helm.git

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 47e2ff599..2686fff42 100644
--- 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=\"dialogBox.callback('" ^ lpath ^ "')\">" ^ 
      (Filename.basename lpath) ^ "</a><br/>"
   in