diff options
Diffstat (limited to 'lib/terminal.ml')
| -rw-r--r-- | lib/terminal.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/terminal.ml b/lib/terminal.ml index c8312b6..96103f5 100644 --- a/lib/terminal.ml +++ b/lib/terminal.ml | |||
| @@ -31,6 +31,15 @@ let show_cursor show = | |||
| 31 | let cmd = if show then 'h' else 'l' in | 31 | let cmd = if show then 'h' else 'l' in |
| 32 | escape cmd ~prefix:"?" ~args:[ 25 ] | 32 | escape cmd ~prefix:"?" ~args:[ 25 ] |
| 33 | 33 | ||
| 34 | (* Incomplete. See https://stackoverflow.com/a/33206814 for a full list | ||
| 35 | of escape codes related to terminal formatting capabilities *) | ||
| 36 | let fmt_reset = escape 'm' | ||
| 37 | let fmt_bold_on = escape ~args:[ 1 ] 'm' | ||
| 38 | let fmt_bold_off = escape ~args:[ 22 ] 'm' | ||
| 39 | let fmt_underline = escape ~args:[ 4 ] 'm' | ||
| 40 | let fmt_blink = escape ~args:[ 5 ] 'm' | ||
| 41 | let fmt_inverted_on = escape ~args:[ 7 ] 'm' | ||
| 42 | let fmt_inverted_off = escape ~args:[ 27 ] 'm' | ||
| 34 | let input_bytes = Bytes.create 1 | 43 | let input_bytes = Bytes.create 1 |
| 35 | 44 | ||
| 36 | let get_char () = | 45 | let get_char () = |
