From afe5cc298aefdc6b0cab40eb24763cec8f008e51 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 24 Feb 2026 15:54:17 -0600 Subject: T8313: add copy and rename to completion op variant --- src/completion.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/completion.ml') diff --git a/src/completion.ml b/src/completion.ml index 5ac92c6..b121410 100644 --- a/src/completion.ml +++ b/src/completion.ml @@ -1,4 +1,4 @@ -type op_type = Set | Edit | 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 @@ -7,6 +7,8 @@ let op_of_string op_str = | "delete" -> Delete | "show" -> Show | "comment" -> Comment + | "copy" -> Copy + | "rename" -> Rename | _ -> Unknown type completion_env = { @@ -67,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 -- cgit v1.2.3