diff options
| -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(); |