summaryrefslogtreecommitdiff
path: root/lib/terminal.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/terminal.mli')
-rw-r--r--lib/terminal.mli21
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
16val fmt_reset : char Sequence.t
17(** Escape sequence: reset text formatting *)
18
19val fmt_bold_on : char Sequence.t
20(** Escape sequence: turn on bold text*)
21
22val fmt_bold_off : char Sequence.t
23(** Escape sequence: turn off bold text*)
24
25val fmt_underline : char Sequence.t
26(** Escape sequence: underlined text*)
27
28val fmt_blink : char Sequence.t
29(** Escape sequence: blinking text*)
30
31val fmt_inverted_on : char Sequence.t
32(** Escape sequence: turn on inverted text*)
33
34val fmt_inverted_off : char Sequence.t
35(** Escape sequence: turn off inverted text*)
36
16val get_char : unit -> char option 37val 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