diff options
| author | G.raud <graud@gmx.com> | 2018-02-03 13:09:27 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-03 18:17:14 +0100 |
| commit | e7e44b9594e18f61792cafab7f2fe66506bc170e (patch) | |
| tree | 73d1fab5bde7c63bbb5117b93a3d85bc7051f330 | |
| parent | 1c3b29b5f9604321c5c2cce06c4e87a0cb3e54ce (diff) | |
| download | unison-e7e44b9594e18f61792cafab7f2fe66506bc170e.zip unison-e7e44b9594e18f61792cafab7f2fe66506bc170e.tar.gz unison-e7e44b9594e18f61792cafab7f2fe66506bc170e.tar.bz2 | |
Uitext: new action "invert" to invert the propagation direction
| -rw-r--r-- | src/uitext.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 38d6e3a..53ae4c1 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -503,6 +503,10 @@ let interact prilist rilist = ("resolve conflicts in favor of the older (curr or match)"), (fun () -> actOnMatching (setDirectionIfConflict `Older))); + (["i"], + ("invert direction of propagation and go to next item"), + (fun () -> + actOnMatching invertdir)); (["/";":"], ("skip"), (fun () -> |