diff options
| author | G.raud <graud@gmx.com> | 2018-02-02 19:52:33 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-02 23:21:47 +0100 |
| commit | d5d6c4f444c29f4309033bbfe47f25d35785dd59 (patch) | |
| tree | 70bc9d0a775739913223d22561f9557023c83977 | |
| parent | c4f36099bb20aea355569933b32a93dad001b769 (diff) | |
| download | unison-d5d6c4f444c29f4309033bbfe47f25d35785dd59.zip unison-d5d6c4f444c29f4309033bbfe47f25d35785dd59.tar.gz unison-d5d6c4f444c29f4309033bbfe47f25d35785dd59.tar.bz2 | |
Uitext: let list actions list only matching items
| -rw-r--r-- | src/uitext.ml | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 5f74371..24b55e7 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -278,6 +278,9 @@ let interact prilist rilist = | ri -> begin Recon.setDirection ri dir `Prefer; true end in let ripred = ref None in + let ritest ri = match !ripred with + None -> true + | Some test -> test ri in let rec loop prev = let rec previous prev ril = match prev with @@ -374,19 +377,19 @@ let interact prilist rilist = (fun () -> actOnMatching (fun ri -> displayDetails ri; true))); (["L"], - ("list all following changes tersely"), + ("list all (or matching) following changes tersely"), (fun () -> newLine(); Safelist.iter (fun ri -> display " "; displayri ri; display "\n") - ril; + (Safelist.filter ritest ril); repeat())); (["l"], - ("list all following changes with details"), + ("list all (or matching) following changes with details"), (fun () -> newLine(); Safelist.iter (fun ri -> display " "; displayri ri; display "\n"; alwaysDisplayDetails ri) - ril; + (Safelist.filter ritest ril); repeat())); (["A"], ("match all the following"), |