diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:08:56 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-23 18:08:56 +0100 |
| commit | 482e8b80fa66e328e252567c915f5e96e727f7cf (patch) | |
| tree | 4b712f227ae1926a744f2dc2e2df85ece3da1e43 /lib/terminal.mli | |
| parent | 7d009e0ca4a1af10cc6d31fb5982e38dcab9ee71 (diff) | |
| download | sandy-482e8b80fa66e328e252567c915f5e96e727f7cf.tar.gz sandy-482e8b80fa66e328e252567c915f5e96e727f7cf.zip | |
feat: add simple status bar with timed status message support
Diffstat (limited to 'lib/terminal.mli')
| -rw-r--r-- | lib/terminal.mli | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lib/terminal.mli b/lib/terminal.mli index 0fd11ed..cf8f61d 100644 --- a/lib/terminal.mli +++ b/lib/terminal.mli | |||
| @@ -13,6 +13,27 @@ type state = { | |||
| 13 | } | 13 | } |
| 14 | (** Global state of the terminal window. *) | 14 | (** Global state of the terminal window. *) |
| 15 | 15 | ||
| 16 | val fmt_reset : char Sequence.t | ||
| 17 | (** Escape sequence: reset text formatting *) | ||
| 18 | |||
| 19 | val fmt_bold_on : char Sequence.t | ||
| 20 | (** Escape sequence: turn on bold text*) | ||
| 21 | |||
| 22 | val fmt_bold_off : char Sequence.t | ||
| 23 | (** Escape sequence: turn off bold text*) | ||
| 24 | |||
| 25 | val fmt_underline : char Sequence.t | ||
| 26 | (** Escape sequence: underlined text*) | ||
| 27 | |||
| 28 | val fmt_blink : char Sequence.t | ||
| 29 | (** Escape sequence: blinking text*) | ||
| 30 | |||
| 31 | val fmt_inverted_on : char Sequence.t | ||
| 32 | (** Escape sequence: turn on inverted text*) | ||
| 33 | |||
| 34 | val fmt_inverted_off : char Sequence.t | ||
| 35 | (** Escape sequence: turn off inverted text*) | ||
| 36 | |||
| 16 | val get_char : unit -> char option | 37 | val get_char : unit -> char option |
| 17 | (** Non-blocking request for a keypress. | 38 | (** Non-blocking request for a keypress. |
| 18 | Use {!val:Terminal.char_stream} for an infinite sequence of input | 39 | Use {!val:Terminal.char_stream} for an infinite sequence of input |
