diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/completion.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/completion.ml b/src/completion.ml index c4890a0..b121410 100644 --- a/src/completion.ml +++ b/src/completion.ml @@ -1,11 +1,14 @@ -type op_type = Set | Delete | Show | Comment | Unknown +type op_type = Set | Edit | Delete | Show | Comment | Copy | Rename | Unknown let op_of_string op_str = match op_str with | "set" -> Set + | "edit" -> Edit | "delete" -> Delete | "show" -> Show | "comment" -> Comment + | "copy" -> Copy + | "rename" -> Rename | _ -> Unknown type completion_env = { @@ -66,7 +69,7 @@ let get_completion_env rtree ctree op cpath = | _ -> let restricted = match op with - | Delete | Show | Comment -> true + | Delete | Show | Comment | Copy | Rename -> true | _ -> false in let last = Util.get_last cpath in |