in
let leaf lpath =
"<img src=\"treeview/doc.gif\"/>\n" ^
- "<a href=\"javascript:void(0)\" onClick=\"selectFile('" ^ lpath ^ "')\" onDblClick=\"retrieveFile('" ^ lpath ^ "')\">" ^
+ "<a href=\"javascript:void(0)\" onClick=\"selectFile('" ^ lpath ^ "')\" onDblClick=\"dialogBox.callback('" ^ lpath ^ "')\">" ^
(Filename.basename lpath) ^ "</a><br/>"
in