diff options
| -rw-r--r-- | lib/terminal.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/terminal.ml b/lib/terminal.ml index 408f7a8..c8312b6 100644 --- a/lib/terminal.ml +++ b/lib/terminal.ml | |||
| @@ -49,6 +49,12 @@ let write_seq = | |||
| 49 | in | 49 | in |
| 50 | handle_unix_error syscall | 50 | handle_unix_error syscall |
| 51 | 51 | ||
| 52 | (* FIXME there is currently a bug that clears the last character of a | ||
| 53 | long line (when a "clear_to_eol" escape sequence wouldn't be needed). | ||
| 54 | This is because the escape sequence deletes everything *from the | ||
| 55 | cursor* onwards, which includes. This will most likely get solved | ||
| 56 | when we move away from this to implement something like a "right | ||
| 57 | column" *) | ||
| 52 | let write_lines (lines : char Sequence.t Sequence.t) = | 58 | let write_lines (lines : char Sequence.t Sequence.t) = |
| 53 | let crnl = Sequence.of_list [ '\r'; '\n' ] in | 59 | let crnl = Sequence.of_list [ '\r'; '\n' ] in |
| 54 | let clear s = Sequence.append s clear_to_eol in | 60 | let clear s = Sequence.append s clear_to_eol in |