diff options
| author | G.raud <graud@gmx.com> | 2018-01-29 11:34:45 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-02 20:09:54 +0100 |
| commit | 44aa421b038911e16902a48206b578e9ab5bf5d3 (patch) | |
| tree | e34be64bdc650c605506688c650eb7c33c5fd118 /src | |
| parent | ca567548b1e7d4f6efbbecb8017cc1bfceed688e (diff) | |
| download | unison-44aa421b038911e16902a48206b578e9ab5bf5d3.zip unison-44aa421b038911e16902a48206b578e9ab5bf5d3.tar.gz unison-44aa421b038911e16902a48206b578e9ab5bf5d3.tar.bz2 | |
Uitext: new actions to skip or discard all following
Diffstat (limited to 'src')
| -rw-r--r-- | src/uitext.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 74c9b32..8dcd1b0 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -401,10 +401,19 @@ let interact prilist rilist = setskip ri; redisplayri(); next())); + (["%"], + ("skip all the following"), + (fun () -> newLine(); + Safelist.iter setskip rest; + repeat())); (["-"], ("skip and discard for this session"), (fun () -> newLine(); loop prev rest)); + (["+"], + ("skip and discard for this session all the following"), + (fun () -> newLine(); + loop prev [ri])); ([">";"."], ("propagate from " ^ descr), (fun () -> |