public final class TextEdit extends Object
Constructor and Description |
---|
TextEdit(int start,
int end,
String newText) |
Modifier and Type | Method and Description |
---|---|
int |
getEndOffset()
The end offset of the text document range to be manipulated.
|
String |
getNewText()
The string to be inserted.
|
int |
getStartOffset()
The start offset of the text document range to be manipulated.
|
public int getStartOffset()
startOffset == endOffset
.public int getEndOffset()
startOffset == endOffset
.