case class AnnotatedTextEdit(annotationId: ChangeAnnotationIdentifier, range: Range, newText: String)
A special text edit with an additional change annotation.
- Value parameters:
- annotationId
The actual identifier of the change annotation
- newText
The string to be inserted. For delete operations use an empty string.
- range
The range of the text document to be manipulated. To insert text into a document create a range where start === end.
- Since:
3.16.0.
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any