TextEditor$Typings extension
- on
Properties
- document → TextDocument
-
The document associated with this text editor. The document will be the same for the entire lifetime of this text editor.
no setter
- edit ↔ Future Function(void (TextEditorEdit), [dynamic])
-
getter/setter pair
- hide ↔ void Function()
-
getter/setter pair
- insertSnippet ↔ Future Function(SnippetString, [Object?, dynamic])
-
getter/setter pair
- options ↔ TextEditorOptions
-
Text editor options.
getter/setter pair
- revealRange ↔ void Function(Range, [TextEditorRevealType?])
-
getter/setter pair
- selection ↔ Selection
-
The primary selection on this text editor. Shorthand for
TextEditor.selections[0].getter/setter pair -
selections
↔ List<
Selection> -
The selections in this text editor. The primary selection is always at index 0.
getter/setter pair
- setDecorations ↔ void Function(TextEditorDecorationType, Object)
-
getter/setter pair
- show ↔ void Function([ViewColumn?])
-
getter/setter pair
- viewColumn → ViewColumn?
-
The column in which this editor shows. Will be
undefinedin case this isn't one of the main editors, e.g. an embedded editor, or when the editor column is larger than three.no setter -
visibleRanges
→ List<
Range> -
The current visible ranges in the editor (vertically).
This accounts only for vertical scrolling, and not for horizontal scrolling.
no setter