diff options
| author | G.raud <graud@gmx.com> | 2018-02-02 22:31:41 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-03 12:23:28 +0100 |
| commit | 3f1d6e5d542939bbe8b233227f598fd71b56e34d (patch) | |
| tree | 4b330bc33aa8fb74c8daa714473e9645ba25315e | |
| parent | 935b7e9ee88b70dab24432ecdd9340f83e044004 (diff) | |
| download | unison-3f1d6e5d542939bbe8b233227f598fd71b56e34d.zip unison-3f1d6e5d542939bbe8b233227f598fd71b56e34d.tar.gz unison-3f1d6e5d542939bbe8b233227f598fd71b56e34d.tar.bz2 | |
Uitext: new action "not" to invert the match condition
| -rw-r--r-- | src/uitext.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 1c8b44b..b6571a7 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -438,6 +438,13 @@ let interact prilist rilist = {replicas = Different ({direction = Merge})} -> true | _ -> false); repeat())); + (["X";"!"], + ("invert the matching condition"), + (fun () -> newLine(); + ripred := begin match !ripred with + None -> display "Matching condition not enabled\n"; None + | Some p -> Some (fun i -> not (p i)) end; + repeat())); (["U"], ("unmatch all (select current)"), (fun () -> newLine(); |