Module Vscode.TextEditor

include Interop.Js.T
type t
val t_of_js : Ojs.t -> t
val t_to_js : t -> Ojs.t
type insertSnippetLocation = [
  1. | `Position of Position.t
  2. | `Range of Range.t
  3. | `Positions of Position.t list
  4. | `Ranges of Range.t list
]
val document : t -> TextDocument.t
val selection : t -> Selection.t
val set_selection : t -> Selection.t -> unit
val selections : t -> Selection.t list
val visibleRanges : t -> Range.t list
val options : t -> TextEditorOptions.t
val viewColumn : t -> ViewColumn.t option
val edit : t -> callback:(editBuilder:TextEditorEdit.t -> unit) -> ?undoStopBefore:bool -> ?undoStopAfter:bool -> unit -> bool Promise.t
val insertSnippet : t -> snippet:SnippetString.t -> ?location:insertSnippetLocation -> ?undoStopBefore:bool -> ?undoStopAfter:bool -> unit -> bool Promise.t
val setDecorations : t -> decorationType:TextEditorDecorationType.t -> rangesOrOptions: [ `Ranges of Range.t list | `Options of DecorationOptions.t list ] -> unit
val revealRange : t -> range:Range.t -> ?revealType:TextEditorRevealType.t -> unit -> unit