/** {@inheritDoc} */
@Override
public void replace(int offset, int length, String text) {
document.replace(offset, length, text);
}
/** {@inheritDoc} */
@Override
public String get(int offset, int length) {
return document.getContentRange(offset, length);
}
/** {@inheritDoc} */
@Override
public int getLength() {
return document.getContentsCharCount();
}
/** {@inheritDoc} */
@Override
public char get(int offset) {
return document.getContents().charAt(offset);
}
