diff options
author | G.raud <graud@gmx.com> | 2018-02-06 07:55:18 +0100 |
---|---|---|
committer | G.raud <graud@gmx.com> | 2018-02-06 11:34:34 +0100 |
commit | f0cc23f3ba8fc488c4cf4f587d5d7f3af3601c11 (patch) | |
tree | cc0eaa18c55cc21c257bfe57daaaf9d351ca8da4 | |
parent | 5b5ce1b3966056e4086e7034162b724ac801cc9a (diff) | |
download | unison-f0cc23f3ba8fc488c4cf4f587d5d7f3af3601c11.zip unison-f0cc23f3ba8fc488c4cf4f587d5d7f3af3601c11.tar.gz unison-f0cc23f3ba8fc488c4cf4f587d5d7f3af3601c11.tar.bz2 |
Uitext: print the number of items skipped for "forward" and "backward"
-rw-r--r-- | src/uitext.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index e241224..30f0e89 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -428,11 +428,15 @@ let interact prilist rilist = (["5"], ("go forward to the middle of the following items"), (fun () -> newLine(); - forward ((Safelist.length ril)/2) prev ril)); + let l = (Safelist.length ril)/2 in + display (" Moving "^(string_of_int l)^" items forward\n"); + forward l prev ril)); (["6"], ("go backward to the middle of the preceding items"), (fun () -> newLine(); - forward (-((Safelist.length prev)+1)/2) prev ril)); + let l = -((Safelist.length prev)+1)/2 in + display (" Moving "^(string_of_int l)^" items backward\n"); + forward l prev ril)); (["R"], ("reverse the list"), (fun () -> newLine(); |