Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface EditorChangedPropertiesData

Hierarchy

  • EditorChangedPropertiesData

Index

Properties

Properties

Optional options

options?: TextEditorConfiguration

Optional selections

selections?: SelectionChangeEvent

Optional visibleRanges

visibleRanges?: Range[]