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 |
