Vscode.Windowval activeTextEditor : unit -> TextEditor.t optionval visibleTextEditors : unit -> TextEditor.t listval onDidChangeActiveTextEditor : unit -> TextEditor.t Event.tval onDidChangeTextEditorSelection :
unit ->
TextEditorSelectionChangeEvent.t Event.tval onDidChangeVisibleTextEditors : unit -> TextEditor.t list Event.tval terminals : unit -> Terminal.t Stdlib.List.tval activeTerminal : unit -> Terminal.t optionval onDidChangeActiveTerminal : unit -> Terminal.t option Event.tval onDidOpenTerminal : unit -> Terminal.t Event.tval onDidCloseTerminal : unit -> Terminal.t Event.tval showTextDocument :
document:[ `TextDocument of TextDocument.t | `Uri of Uri.t ] ->
?column:ViewColumn.t ->
?preserveFocus:bool ->
unit ->
TextEditor.t Promise.tval showInformationMessage :
message:string ->
?options:MessageOptions.t ->
?choices:(string * 'a) list ->
unit ->
'a option Promise.tval showWarningMessage :
message:string ->
?options:MessageOptions.t ->
?choices:(string * 'a) list ->
unit ->
'a option Promise.tval showErrorMessage :
message:string ->
?options:MessageOptions.t ->
?choices:(string * 'a) list ->
unit ->
'a option Promise.tval showQuickPickItems :
choices:(QuickPickItem.t * 'a) list ->
?options:QuickPickOptions.t ->
?token:CancellationToken.t ->
unit ->
'a option Promise.tval showQuickPick :
items:string list ->
?options:QuickPickOptions.t ->
?token:CancellationToken.t ->
unit ->
string option Promise.tval showInputBox :
?options:InputBoxOptions.t ->
?token:CancellationToken.t ->
unit ->
string option Promise.tval createOutputChannel : name:string -> OutputChannel.tval setStatusBarMessage :
text:string ->
?hide:[ `AfterTimeout of int ] ->
unit ->
Disposable.tval withProgress :
'a Interop.Js.t ->
options:ProgressOptions.t ->
task:(progress:Progress.t -> token:CancellationToken.t -> 'a Promise.t) ->
'a Promise.tval createStatusBarItem :
?alignment:StatusBarAlignment.t ->
?priority:int ->
unit ->
StatusBarItem.tval createTextEditorDecorationType :
options:Ojs.t ->
TextEditorDecorationType.tval createTerminal :
?name:string ->
?shellPath:string ->
?shellArgs:[ `String of string | `Strings of string list ] ->
unit ->
Terminal.tval createTerminalFromOptions :
options:
[ `TerminalOptions of TerminalOptions.t
| `ExtensionTerminalOptions of ExtensionTerminalOptions.t ] ->
Terminal.tval registerTreeDataProvider :
'a Interop.Js.t ->
viewId:string ->
treeDataProvider:'a TreeDataProvider.t ->
Disposable.tval createTreeView :
'a Interop.Js.t ->
viewId:string ->
options:'a TreeViewOptions.t ->
'a TreeView.tval createWebviewPanel :
viewType:string ->
title:string ->
showOptions:ViewColumn.t ->
WebviewPanel.tval registerCustomTextEditorProvider :
viewType:string ->
provider:CustomTextEditorProvider.t ->
?options:RegisterCustomEditorProviderOptions.t ->
unit ->
Disposable.tval registerCustomReadonlyEditorProvider :
(module CustomDocument.T with type t = 'a) ->
viewType:string ->
provider:'a CustomReadonlyEditorProvider.t ->
?options:RegisterCustomEditorProviderOptions.t ->
unit ->
Disposable.t