diff options
| author | G.raud <graud@gmx.com> | 2018-01-29 20:42:46 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-02 20:22:42 +0100 |
| commit | 3a0a218a1b77a7d88b9b80d05187f504719276ca (patch) | |
| tree | 862a10af641f6254cbc302af2e52c33d89b0a84b | |
| parent | a30e111e44274789463456a4a424f52a5ca7c8e5 (diff) | |
| download | unison-3a0a218a1b77a7d88b9b80d05187f504719276ca.zip unison-3a0a218a1b77a7d88b9b80d05187f504719276ca.tar.gz unison-3a0a218a1b77a7d88b9b80d05187f504719276ca.tar.bz2 | |
Uitext.interact: improve menu descriptions
| -rw-r--r-- | src/uitext.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 82922ba..63299b1 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -377,14 +377,14 @@ let interact prilist rilist = displayDetails ri; repeat())); (["L"], - ("list all suggested changes tersely"), + ("list all following changes tersely"), (fun () -> newLine(); Safelist.iter (fun ri -> display " "; displayri ri; display "\n") ril; repeat())); (["l"], - ("list all suggested changes with details"), + ("list all following changes with details"), (fun () -> newLine(); Safelist.iter (fun ri -> display " "; displayri ri; display "\n"; @@ -396,7 +396,7 @@ let interact prilist rilist = (fun () -> newLine(); previous prev ril)); (["s"], - ("stop the selection"), + ("stop reconciling and go to the proceed menu"), (fun () -> newLine(); (ConfirmBeforeProceeding, Safelist.rev_append prev ril))); (["R"], @@ -427,7 +427,7 @@ let interact prilist rilist = (fun () -> newLine(); loop prev rest)); (["+"], - ("skip and discard for this session all the following"), + ("skip and discard all the following"), (fun () -> newLine(); loop prev [ri])); ([">";"."], |