diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 53fee06..e320ab0 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -447,6 +447,11 @@ let interact prilist rilist = {replicas = Different ({direction = Conflict _})} -> true | _ -> false); repeat())); + (["P"], + ("match all the following with only props changes"), + (fun () -> newLine(); + ripred := Some ispropschanged; + repeat())); (["M"], ("match all the following merges"), (fun () -> newLine(); |