summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorG.raud <graud@gmx.com>2018-02-06 07:55:18 +0100
committerG.raud <graud@gmx.com>2018-02-06 11:34:34 +0100
commitf0cc23f3ba8fc488c4cf4f587d5d7f3af3601c11 (patch)
treecc0eaa18c55cc21c257bfe57daaaf9d351ca8da4
parent5b5ce1b3966056e4086e7034162b724ac801cc9a (diff)
downloadunison-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.ml8
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();