You can now select file and directory without any trouble on Firefox

wallix · Nov 24, 2015 · 50ac4f0 · 50ac4f0
1 parent a23a112
commit 50ac4f0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/view/directory.opa b/src/view/directory.opa
@@ -156,7 +156,7 @@ module DirectoryView {
 
 	/** Handles associated with table directoru lines. */
   function handles(id, name, parent, path) {
-    [ { name: {mousedown}, value: {expr: @public_env(select(id, name, parent, _))} } ]
+    [ { name: {click}, value: {expr: @public_env(select(id, name, parent, _))} } ]
       // { name: {dblclick},
       //   value: {expr: function(_e) { Content.update(URN.make({files: ""}, path), false) }} } ]
   }

diff --git a/src/view/file.opa b/src/view/file.opa
@@ -593,7 +593,7 @@ module FileView {
   }
 
   function handles(id, name, access, security, parent, clabels, file) {
-    [ {name:{mousedown}, value: {expr: select(id, name, access, security, parent, clabels, file, _)}} ]
+    [ {name:{click}, value: {expr: select(id, name, access, security, parent, clabels, file, _)}} ]
   }
 
   /**