Vscode.ProgressOptions
include Interop.Js.T
type t
val t_of_js : Ojs.t -> t
val t_to_js : t -> Ojs.t
type location = [
| `ProgressLocation of ProgressLocation.t
| `ViewIdLocation of viewIdLocation
]
and viewIdLocation = {
viewId : string;
}
val location : t -> location
val title : t -> string option
val cancellable : t -> bool option
val create : location:location -> ?title:string -> ?cancellable:bool -> unit -> t