Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface EditorDecoration

Hierarchy

  • EditorDecoration

Index

Properties

Properties

options to be applied with this decoration.

range: Range

range to which this decoration instance is applied.