/** Deselects the highlighted text. */
public void deselect() {
int selStart = xtext.getSelectionStart();
int selEnd = xtext.getSelectionEnd();
if (selStart != selEnd) {
xtext.select(selStart, selStart);
}
}
/** @see java.awt.peer.TextComponentPeer */
@Override
public int getSelectionEnd() {
return xtext.getSelectionEnd();
}