File tree 2 files changed +5
-4
lines changed
2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change 12
12
13
13
open Notty
14
14
15
- (* * {1:fullscreen Fullscreen input and output}. *)
15
+ (* * {1:fullscreen Fullscreen input and output} *)
16
16
17
17
(* * Terminal IO with concurrency.
18
18
Original file line number Diff line number Diff line change 9
9
10
10
open Notty
11
11
12
- (* * {1:fullscreen Fullscreen input and output}. *)
12
+ (* * {1:fullscreen Fullscreen input and output} *)
13
13
14
14
(* * Terminal IO abstraction for fullscreen, interactive applications.
15
15
16
- This module provides both input and output. It assumes exclusive ownership of
17
- the IO streams between {{!create}initialization} and {{!release}shutdown}. *)
16
+ This module provides both input and output. It assumes exclusive ownership
17
+ of the IO streams between {{!Term.create}initialization} and
18
+ {{!Term.release}shutdown}. *)
18
19
module Term : sig
19
20
20
21
type t
You can’t perform that action at this time.
0 commit comments