diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-23 10:06:22 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:35 +0100 |
commit | ecb6fd62c275af03a07d892313ab3914d81cd40e (patch) | |
tree | 52994be2201583b0b7f297347dd4fe98decc0c44 /screen.ml | |
parent | df4778f2f061c71cf1d9e51fe8ec657d04bbdfeb (diff) |
Added text functions
Diffstat (limited to 'screen.ml')
-rwxr-xr-x | screen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -280,8 +280,8 @@ let editor ?position ?(prefix=UTF8.empty) ?(init=UTF8.empty) t = begin and delete_previous hd = begin let y, x = Curses.getyx t.status in let length = UTF8.length hd in + ignore @@ Curses.wmove t.status y (x - length); for position = 1 to length do - ignore @@ Curses.wmove t.status y (x - position); ignore @@ Curses.wdelch t.status done; end in |