public void onAnnotationChange(int start, int end, String key, Object newValue) {
if (key.length() == 1) {
if (key.charAt(0) < 'w') {
painter.scheduleRepaint(cxtBox.cxt, start, end);
} else {
painter.scheduleRepaint(cxtBox.cxt, start, start);
painter.scheduleRepaint(cxtBox.cxt, end, end);
}
}
}
}, null, DocumentSchema.NO_SCHEMA_CONSTRAINTS);