diff options
| author | G.raud <graud@gmx.com> | 2018-02-03 18:13:07 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-03 18:27:58 +0100 |
| commit | cbc44d26a30004afbf17bc087c0cd8b18b81d8b7 (patch) | |
| tree | f66dcb3c831806070e55974bbc81d271a19c81de | |
| parent | bdea8c56deca16f462e894d8e75359d3957e61be (diff) | |
| download | unison-cbc44d26a30004afbf17bc087c0cd8b18b81d8b7.zip unison-cbc44d26a30004afbf17bc087c0cd8b18b81d8b7.tar.gz unison-cbc44d26a30004afbf17bc087c0cd8b18b81d8b7.tar.bz2 | |
Uitext: make action "invert" print an message if change impossible
| -rw-r--r-- | src/uitext.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 11eedae..c17b52c 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -513,7 +513,9 @@ let interact prilist rilist = (["i"], ("invert direction of propagation and go to next item"), (fun () -> - actOnMatching invertdir)); + actOnMatching + ~fail:(Some (fun()->display "Cannot invert direction\n")) + invertdir)); (["/";":"], ("skip"), (fun () -> |