/** @see java.awt.peer.TextComponentPeer */
@Override
public void select(int s, int e) {
xtext.select(s, e);
// Fixed 5100806
// We must take care that Swing components repainted correctly
xtext.repaint();
}
/** Deselects the highlighted text. */
public void deselect() {
int selStart = xtext.getSelectionStart();
int selEnd = xtext.getSelectionEnd();
if (selStart != selEnd) {
xtext.select(selStart, selStart);
}
}