Interface EditorDecoration

interface EditorDecoration {
    options: EditorDecorationOptions;
    range: Range;
}

Properties

Properties

options to be applied with this decoration.

range: Range

range to which this decoration instance is applied.