diff options
| author | G.raud <graud@gmx.com> | 2018-02-02 20:02:49 +0100 |
|---|---|---|
| committer | G.raud <graud@gmx.com> | 2018-02-03 11:40:54 +0100 |
| commit | 935b7e9ee88b70dab24432ecdd9340f83e044004 (patch) | |
| tree | 6e32193a239efe7c0ec65ca78f37603ec02a1104 | |
| parent | d5d6c4f444c29f4309033bbfe47f25d35785dd59 (diff) | |
| download | unison-935b7e9ee88b70dab24432ecdd9340f83e044004.zip unison-935b7e9ee88b70dab24432ecdd9340f83e044004.tar.gz unison-935b7e9ee88b70dab24432ecdd9340f83e044004.tar.bz2 | |
Uitext: new actions "start" and "end" to go to start or end of list
| -rw-r--r-- | src/uitext.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/uitext.ml b/src/uitext.ml index 24b55e7..1c8b44b 100644 --- a/src/uitext.ml +++ b/src/uitext.ml @@ -364,6 +364,16 @@ let interact prilist rilist = (fun () -> Recon.revertToDefaultDirection ri; redisplayri(); previous prev ril)); + (["0"], + ("go to the start of the list"), + (fun () -> newLine(); + loop [] (Safelist.rev_append prev ril))); + (["9"], + ("go to the end of the list"), + (fun () -> newLine(); + match Safelist.rev_append ril prev with + [] -> loop [] [] + | lri::prev -> loop prev [lri])); (["R"], ("reverse the list"), (fun () -> newLine(); |