Status line management
type t = | Live of unit -> User_message.Style.t Pp.tA "live" value that's updated continuously, such as a progress indicator. This message is not shown when a "dumb" terminal backend is in use.
*)| Constant of User_message.Style.t Pp.tA fixed value. Unlike with Live, this text is printed even if a dumb console backend is in use.
The current status line
val set : t -> unitAdd an overlay on top of the current status line. set and clear remove any active overlay.
val remove_overlay : overlay -> unitRemove an overlay if it is still active. Do nothing otherwise.
val with_overlay : t -> f:(unit -> 'a) -> 'awith_overlay t ~f is the same as:
let id = add_overlay t in
Exn.protect f ~finally:(fun () -> remove_overlay id)