AnnotatedTextEdit

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
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product