public class KahinaTextWithMarking extends KahinaObject
Modifier and Type | Field and Description |
---|---|
int |
beginIndex |
int |
caretIndex |
int |
endIndex |
java.lang.String |
text |
needsUpdate
Constructor and Description |
---|
KahinaTextWithMarking(java.lang.String text,
int beginIndex,
int endIndex,
int caretIndex) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
needsUpdate, requireUpdate