diff options
author | Federico Igne <undyamon@disroot.org> | 2024-01-12 14:16:45 +0100 |
---|---|---|
committer | Federico Igne <undyamon@disroot.org> | 2024-01-12 14:16:45 +0100 |
commit | d096051f807441d8a55d44ae55ee1f9463d6d808 (patch) | |
tree | a1c4db9c78276a8e03b862b51ab7fb4723aa4631 | |
parent | 0042ffe8ee737c89b66a566b4bf71b78b0836249 (diff) | |
download | sandy-d096051f807441d8a55d44ae55ee1f9463d6d808.tar.gz sandy-d096051f807441d8a55d44ae55ee1f9463d6d808.zip |
fixme: add note for future self about rendering bug
-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 |