/** 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 getSelectionStart() {
return xtext.getSelectionStart();
}