diff options
| author | G.raud <graud@gmx.com> | 2018-02-03 12:57:43 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-03 13:16:46 +0100 |
| commit | 43b9ebd5ea7b32f093ede31fb0c4b129d0b4adad (patch) | |
| tree | ebe63d109862a2466da7a55ee44051ed9078274c /src | |
| parent | 9cc016b334fb09997d544c163ffd36ec23e72d69 (diff) | |
| download | unison-43b9ebd5ea7b32f093ede31fb0c4b129d0b4adad.zip unison-43b9ebd5ea7b32f093ede31fb0c4b129d0b4adad.tar.gz unison-43b9ebd5ea7b32f093ede31fb0c4b129d0b4adad.tar.bz2 | |
Uitext: new action to match PropsChanged
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(); |