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