public TextLocation getSelectionEnd() {
return caretLocation.before(selectionLocation) ? selectionLocation : caretLocation;
}
public TextLocation getSelectionStart() {
return caretLocation.before(selectionLocation) ? caretLocation : selectionLocation;
}